[coreboot-gerrit] Patch set updated for coreboot: 5d73f1e pit: set up the PMIC correctly