But I'm not a kernel dev and it's been a very long time since I would have needed to debug the kernel; does this not actually work?