[coreboot-gerrit] Patch merged into coreboot/master: bb2cc71 Fix read_option invocation in uart8250mem.c