print kernel name

debug