[coreboot] New patch to review for coreboot: c90422a Get stdint.h in sync between ARMv7 and x86