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