Symbol: riscv_isa_vendor_extension_available