[coreboot-gerrit] Patch set updated for coreboot: 72d019d pit: set up the PMIC correctly