[coreboot-gerrit] Patch set updated for coreboot: drivers/uart/Kconfig: Select 8250 mem when 8250 mem32 is enabled