x86/boot/64: Push correct start_cpu() return address