Re: [PATCH 4/6] dbghelp: Remove support for PPC32