Also point platform_build to a miniperf fork, to ship the executable.

Except keon, which has its own fork, and re-forking it is more work than
I want to do right now.

Change-Id: If5336e76040c69382bdbb84e93d1281436f01893