Remove obsolete hacks for uin32_t

We now require support for stdint.h from the compiler.
3 files changed