kernel: x86_64 encrease NR_CPUS to 64