[coreboot-gerrit] Patch set updated for coreboot: mainboard/intel/galileo: Use HSUART1 for console