[coreboot-gerrit] Patch set updated for coreboot: a40dd42 uart8250.h: Do not guard entire include file by config options