[coreboot-gerrit] Patch set updated for coreboot: d1ca39d google/panther: Set default interrupt value for Environmental Controller