Make sure kernel builds with Linaro