hvc/xen: Further s/MFN/GFN clean-up