[coreboot-gerrit] Patch set updated for coreboot: 9137936 panther: Fix thermal zone to use SIO PWM/TACH port 2