[coreboot-gerrit] Patch set updated for coreboot: ebc0f2d amd/amdht: Compile in multiprocessor support when selected