[PATCH/RFC]: CONFIG_NR_CPUS to 512