how to debug my kernel