Kernel name and Linaro toolchain