use our kernel for building with linaro