xen: add xen_set_domain_pte()