x86/boot/64: Use 'push' instead of 'call' in start_cpu()