[coreboot-gerrit] New patch to review for coreboot: d0b4140 ARMv7: Add stdint types needed for vboot library