Add back c_flags/Kernel compiles with GCC 4.7