Updated instructions for latest mirage-xen-minios

It was using Git, but the latest changes broke the instructions.