A little module with functions to help me debug kernel problems