x86: kernel: set NR_CPUS to 512