[coreboot-gerrit] Patch set updated for coreboot: bff38b8 console: Move generic UART header