[coreboot-gerrit] Patch merged into coreboot/master: amd/fam10: Add k10temp ACPI thermal zone mixin.