[coreboot-gerrit] Patch set updated for coreboot: 8838bd0 include/types.h: Provide BIT() macro