complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>

 # ia64 specific config options

 # depends on EXPERIMENTAL

 config ARCH_ia64

     select ARCH_SUPPORTS_64

     select ARCH_DEFAULT_64

     select ARCH_USE_MMU

     select ARCH_SUPPORTS_BOTH_ENDIAN

     help

       The ia64 architecture, as defined by:

         http://www.intel.com/design/itanium/arch_spec.htm