Use GCC 4.9 for kernels (just a test)