[coreboot] Patch merged into coreboot/master: ea9a1f6 Get stdint.h in sync between ARMv7 and x86