x86/mm: fix poking_init() for Xen PV guests