Author here, I wrote this in the hope I wouldn't have to solve my own laptop problems...
In this case it's pretty different to regular kernel debug because I'm not debugging kernel code itself, I'm trying to glean more information out of hardware that I have no knowledge of, it's not as simple as "there's a bug on line X and I need to find out why this pointer is invalid" etc.