Make kernel compatible with GCC 4.8 and newer