[coreboot-gerrit] Patch set updated for coreboot: 765e943 mainboard/jetway/nf81-t56n-lf: Provide ACPI thermal zone