config.gcc (--with-cpu on ARM): Preserve the canonical cpu name for use in configargs.h.