Merge "[MIPS64] Adjust kernel/tools for mips32,mips64 headers"
authorChristopher Ferris <cferris@google.com>
Sat, 21 Jun 2014 00:57:51 +0000 (00:57 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 20 Jun 2014 02:09:57 +0000 (02:09 +0000)

Trivial merge