[PATCH 12/22] configure: Add support for PPC64