Adapt output to mirage-platform-0.9.2 Io_page API