[coreboot-gerrit] Patch set updated for coreboot: amd/pi/00630F01: add HT3 Kconfig option