Make handling of <stdint.h> global.
Implement the DelayMs function for the Propeller.