kernel: Make kernel compatible with GCC 4.7 Compiler