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