[coreboot-gerrit] Patch set updated for coreboot: 8ce5525 panther: acpi: Fix unstable fan behavior on boot + resume