Port the kernel to compile with GCC