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