Fix kernel compilation with GCC 4.8 - Credit to JustArchi