Fix ISA check typo for 64-bit K extension tests and database.yaml See merge request incoresemi/riscof!87