Change kernel for building with linaro