configure: fix kconfig option names

In the process of converting to autoconf, the kconfig option
were not properly translated.

Fix that.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 python

 import sys

 sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')

 from libstdcxx.v6.printers import register_libstdcxx_printers

 register_libstdcxx_printers (None)

 end