[coreboot-gerrit] Patch set updated for coreboot: b00558d uart8250io: Fix build with DEBUG_SMI