[coreboot-gerrit] Patch set updated for coreboot: 3641906 pit: Remove the MAX_CPUS option.