Re: Kernel debugger in MP mode causes double fault