x86/xen: define startup_xen for XEN PV only