Use strict C99 (+ inline assembly __asm__, of course)
Use x86_64 toolchain in preparation to switch kernel to 64-bit soon