[xen] Improved Io_page, implemented missing Gnt bits.
Added a Eventchn.close function for compatibility with the UNIX bindings.