Actually, only RISC-V 64 was done. But there is little sense in implementing RISC-V 32, so let's just change the ticket to RISC-V 64 and be done with it.