changes to support getkerninfo()