Build kernel with linaro-4.7 toolchain