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