Use Linaro 4.7 for kernel building