Build kernel with Linaro 4.7