[coreboot-gerrit] Patch set updated for coreboot: c4ab1f7 AMD Thatcher: ConnectorTypeDP supports both DP and HDMI