[PATCH 2/3] dbghelp: now storing the IMAGE_OPTIONAL_HEADER in either 32bit or 64bit form