Fix kernel booting on GCC 4.8. Credits ivanich and LordNerevar