x86_64: move boot