use linaro 4.7 for kernel for now