[V3,1/1] riscv: Increase the upper bound of NR_CPUS to 4095