Fix some warnings in kerninfo