[coreboot-gerrit] Patch set updated for coreboot: 7db302a max77802: add header for max77802 PMIC