Use GCC 4.8 on kernels