script/setup: replace dts extension with dtb in the device tree variable
platform-raspberry-mainline: add bcm2835-rpi-b-plus.dts device tree