Kernel build fix for gcc 4.8.x