More than 8 cores for RISC-V generic `virt` machine