Optimize kernel for Linaro building (thanks to @broodplank,
@Albinoman887, and @ktoonsez )