Fix typo in baremetal header comment.

Change-Id: I553c37581c92dcdc13e0d8dcdb9c8be7309deaa1