gcc -S kernel.c -masm=intel -fno-builtin