[coreboot-gerrit] Patch set updated for coreboot: 277b12b console: Fix includes