Formal - "ExternalRepos.mk"

Created by: silabs-robin

This PR lets the formal setup use ExternalRepos.mk to use the designated hash of the RTL.

Rationale: Formal used to use master of the RTL repo, and this can give misleading results from ci_check.