Fix isa validator when Zk is in ISA string#200

fanghuaqi wants to merge 1 commit intoriscv-software-src:devriscv-software-src/riscv-config:devfrom

fanghuaqi:devfanghuaqi/riscv-config:devCopy head branch name to clipboard