Symbol: RISCV_ISA_EXT_ZKR