mirage-xen-minios: refresh distfile checksum