Use GCC 4.9 for kernel