[coreboot-gerrit] Patch merged into coreboot/master: 90a42d8 max77802: add header for max77802 PMIC