Merge "[MIPS64] Regenerate mips kernel headers with fixed tool"
authorChristopher Ferris <cferris@google.com>
Sat, 21 Jun 2014 00:58:04 +0000 (00:58 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 20 Jun 2014 20:43:43 +0000 (20:43 +0000)

Trivial merge