fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / arch /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - i386
drwxr-xr-x - microblaze
drwxr-xr-x - mips
drwxr-xr-x - powerpc
drwxr-xr-x - x86_64