We were doing
    echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'
but the only x86 value HOSTPLATFORM can have is i386.

We now also tell GMP that its build platform is $(BUILDPLATFORM)
rather than $(HOSTPLATFORM).