Use linaro for the kernel