[PATCH 0/3] Better support of 32bit debuggees in 64bit winedbg