Fix kernel name for debugging