[coreboot-gerrit] Patch set updated for coreboot: 72a0701 src/Kconfig: 's/NO_UART_ON_SUPERIO/NO_SUPERIO_CHIP/'