* config.gcc: Add support for ip2k.