[coreboot-gerrit] New patch to review for coreboot: 8d053d0 coreboot arm64: Add int constants to stdint.h