restrict mirage-xen to < 4.02.0