[coreboot-gerrit] Patch set updated for coreboot: 6d12fe5 max77802: add header for max77802 PMIC