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