Switch the MiniOS archive to a tag to add hardfloat