x86_64: move kernel