xen: use appropriate pte types