Apply the constraints in mirage-xen.0.9.3 to 0.9.1 and 0.9.2