Use GCC 4.6 to build kernel