Fix typo in baremetal header comment.

Change-Id: I553c37581c92dcdc13e0d8dcdb9c8be7309deaa1
Merge remote-tracking branch 'm_src_repo/citrix-fixes' into build-temp