Use stdint in bare metal