wrong kernel name in a comment