x86/xen: make xen_pvmmu_arch_setup() static