Merge "ART: Print short register names with MIPS64"