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