Add MiniOS gntmap support

See mirage/mirage#296