Detect MIPS64 hosts as "mips" architecture

OCTEON II boards like the Edge Router Pro are actually MIPS64
processors.  So, platform.machine() reports them as "mips64".

BUG=

Review-Url: https://codereview.chromium.org/2061893002
Cr-Commit-Position: refs/heads/master@{#399900}

AUTHORS

@@ -87,6 +87,7 @@ Bernard Cafarelli <voyageur@gentoo.org>
 Bhanukrushana Rout <b.rout@samsung.com>
 Bobby Powers <bobbypowers@gmail.com>
 Branden Archer <bma4@zips.uakron.edu>
+Brendan Kirby <brendan.kirby@imgtec.com>
 Brendan Long <self@brendanlong.com>
 Brian G. Merrell <bgmerrell@gmail.com>
 Brian Konzman, SJ <b.g.konzman@gmail.com>

build/detect_host_arch.py

@@ -21,6 +21,8 @@ def HostArch():
     host_arch = 'x64'
   elif host_arch.startswith('arm'):
     host_arch = 'arm'
+  elif host_arch.startswith('mips'):
+    host_arch = 'mips'
 
   # platform.machine is based on running kernel. It's possible to use 64-bit
   # kernel with 32-bit userland, e.g. to give linker slightly more memory.