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