tree b16622a3225f1d00a2a6e6f8c8dc42baaef92dcb
parent 7bff05a91d881a9d4c9b752125696e9483216050
author David 'Digit' Turner <digit@google.com> 1403861802 +0200
committer David 'Digit' Turner <digit@google.com> 1405690853 +0200

target-mips: minor upstream integration.

Change-Id: Ib356a3cb8aa0bda14f857b951e2c357405acaaee