compile kernel with GCC 4.6 toolchain