build: update cross-compiler build to also emit a stdint.h, and use that for POSIX. Do the same for various other headers.

This includes stdarg.h and stddef.h, both of which are now defined by the compiler. This will hopefully help avoid cases like the recent Python issue due to incorrect data types across various architectures.