Needed by: https://android-review.googlesource.com/#/c/101410 https://android-review.googlesource.com/#/c/101022 Change-Id: Ia5f96fa2ee91984cba12983c9fb01a6b2e584209
Turns out previously built mips64el* are mips64r2, not mips64r6 Change-Id: Ic0f82fafe959716eb3a909e367d599a3d4293047