[PATCH 5/6] dbghelp: Translate the 32-bit Mach-O section header to the 64-bit one.