linux/arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts