[coreboot-gerrit] Patch set updated for coreboot: 754f741 uart: Redefine Kconfig options