fix type issues in stdint.h so underlying types of 64-bit types match ABI

[musl] / arch / arm / bits / setjmp.h

typedef unsigned long long jmp_buf[32];