GitLab

Detail:
  OMAP5: Since code wise and arch wise A7=A15=A17, the machines in HdrSrc have been made common on A7.
Admin:
  Bash script similarly changed, but untested.
  Retagged as Env-1_33.