Simple x86-64 kernel