Fix kernel info