Use linaro-4.7 toolchain for kernel