Due to a clean-up of the git repository, all the commit SHA have
The following table shows the correspondence between the SHA in the
bitstream images (old) and the sha currently in the repository (new).
Following release 4.0, all new releases are only hosted on the new
repository, so there is no mapping necessary.