Adapt to mirage/mirage-types@e0b71a665c173a1238b03e4fff3d493d78b4928d interface
adapt xen console to mirage/mirage-types@e0b71a665c173a1238b03e4fff3d493d78b4928d interface