Re: [PATCH 16/23] kernel32: Add support for PPC64