RE: Reference URLs for UEFI git trees