[Bug 1043231] New: Kernel build failed at armv7hl