I believe DbgView does capture Kernel messages too.
1. Run DbgView
2. Go to Caption Menu on the Form.
3. Select "Capture Kernel"
Download latest dbgview from here: DebugView v4.78
Or else have a look at: WinDbg - it is a multipurposed debugger for Microsoft Windows, distributed on the web by Microsoft. It can be used to debug user mode applications, drivers, and the operating system itself in kernel mode.
WinDbg. From A to Z!