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