Symbol: riscv_user_isa_enable