Symbol: RISCV_ISA_EXT_ZVFBFMIN