correct constraint on mirage-net-xen
Merge pull request #1416 from mirage/master

correct constraint on mirage-net-xen