# CONFIG_RISCV_ISA_FALLBACK is not set
