On 02/20/2014 09:56 PM, Stephen Warren wrote: > Without this, ARCH_BCM2835 is no longer available, and hence the kernel > won't boot! I've squashed this into bcm2835's for-3.15/soc branch.