mirage-xen-minios: linux only for now