[ros-diffs] [tkreuzer] 38920: Tracing the data exchanged between Windows64 and WinDbg shows that DBGKD_CONTROL_REPORT is a bit different to x86 version.