Normalmente, no arquivo de configuração do gmp, se um sistema operacional não for fornecido, ele não usa nenhum por padrão, isso, pelo menos para ARM, faz com que os alias host_os e target_os sejam incorretos e levem às referências indefinidas que você se refere.
A maneira como eu consertei isso para o arm-linux-androideabi estava mudando ambas as instâncias de
- linux*android*)
+ linux-android*)
no gmp / configure. Não tenho certeza de qual é o seu sistema operacional ou cpu, mas defini-los em seu comando configure pode ajudar.