fix for wrong kernel name display