amd64: sync cpu/stdint.h with i386