From: Arnd Bergmann <arnd@xxxxxxxx>I just had exactly the same problem, and this patch fixes it for me as well.
Naresh and Antonio ran into a build failure with latest Debian
armhf compilers, with lots of output like
tmp/ccY3nOAs.s:2215: Error: selected processor does not support `cpsid i' in ARM mode