Re: riscv: supports_extension() broken for long isa strings