Fix GCC for compile kernel