Make Io_page in the UNIX backend compatible with Io_page in the Xen backend.