[U-Boot] [PATCH v4 5/5] x86: Make the serial port work for the coreboot board