my kernel-debugging notes