Dual-core kernel debugging using windbg