Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-)

 # x86_64 specific options

 config ARCH_x86_64

     select ARCH_SUPPORT_ARCH

     select ARCH_SUPPORT_CPU

     select ARCH_SUPPORT_TUNE

     help

       The x86_64 architecture, as defined by:

         http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html