[coreboot-gerrit] New patch to review for coreboot: 816c6bc Fix read_option invocation in uart8250mem.c