64 bits kernel development, x86_64