[coreboot] Patch merged into coreboot/master: 73ac02c Fix dependency problem for uart8250.c as well