[coreboot-gerrit] Patch set updated for coreboot: 3f44e19 h8: Add missing include of stdint.h