[PATCH 1/1] winedbg: Allow debugging a 32bit target from a 64bit winedbg in --gdb mode.