Fix libBareMetal mismatch

Bug found by Dan Humphrey