[coreboot] Patch set updated for coreboot: 73ac02c Fix dependency problem for uart8250.c as well