+mirage-xen-minios.0.4.2
Merge pull request #3095 from avsm/minios-0.4.2

+mirage-xen-minios.0.4.2