Fix forgoted repo corvusmod

Change-Id: I42d77402da3b0114374b3c061d87d2bcfc434c69