Fantastic writeup and a great exposition of how to do kernel debugging. Thank you!