Build the Raspberry Pi dtb file when building the kernel so we can copy it
to the boot partition for U-Boot.