How to best debug kernel problems