Fix kernel for GCC 4.8 compilation