Implement riscv_vlen_asm for riscv32