Fix baremetal build failures#12236

adbridge merged 1 commit intoARMmbed:masterARMmbed/mbed-os:masterfrom

evedon:ed-baremetal-build-failuresevedon/mbed-os:ed-baremetal-build-failuresCopy head branch name to clipboard