Build kernel with 4.7 toolchain