[platform] oh boy... add stdint.h to platform.h so that we use things like uint32_t in the platform code (as unsigned int doesn't cut it for 16 bit platforms).