Improve xen-gnt, mirage-xen