Updated instructions for latest mirage-xen-minios