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(-)

 # Kernel options

 menu "Kernel"

 choice

     bool

     prompt "Target OS"

     default KERNEL_LINUX

 config KERNEL_LINUX

     bool

     prompt "linux"

     help

       Build a toolchain targeting systems running Linux as a kernel.

 endchoice

 config KERNEL_VERSION

     string

 if KERNEL_LINUX

 source config/kernel/linux.in

 endif

 endmenu