Kernel debugger in MP mode causes double fault