[coreboot-gerrit] Patch set updated for coreboot: b4f5bdc ibexpeak/thermal: set temperature target in early init.