[PATCH 0/3] Let 64bit dbghelp handle a 32bit target