OK - checking in to Factory has new checks - seems we must use the upstream tarball (which didn't have the complete repo!). But that will work now that we have disabled building the EDK2 firmware.