xen: refactor xen_{alloc,release}_{pt,pd}()