Merge pull request #2797 from kumpera/android_krait_bug
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 28 Mar 2016 19:08:43 +0000 (12:08 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 28 Mar 2016 19:08:43 +0000 (12:08 -0700)
[android] Fix Krait CPU bug on Android.


Trivial merge