Use Linaro 4.9 for kernel