x86, 64-bit: split x86_64_start_kernel