[coreboot] Patch set updated for coreboot: a2eaa4f OXPCIe: Reinitialize UART after pci_dev_set_resources()