kvm_getkernelname
const char *kvm_getkernelname(kvm_t *);
kvm_getkernelname(kd_dump), vers, core_vers);