x86: make x86_64 accept the max_cpus parameter