Build ARCH_BCM2835 Linux kernel with latest patches