Prefer printf format "%#x" over "0x%x".

I exist to serve.

Change-Id: I8e2880b20eefd466da8515d5b6b0c5cb75d56169
diff --git a/vm/compiler/Dataflow.cpp b/vm/compiler/Dataflow.cpp
index 28bed68..7f164cb 100644
--- a/vm/compiler/Dataflow.cpp
+++ b/vm/compiler/Dataflow.cpp
@@ -1601,7 +1601,7 @@
             strcpy(buffer, "PHI");
         }
         else {
-            sprintf(buffer, "Opcode 0x%x", opcode);
+            sprintf(buffer, "Opcode %#x", opcode);
         }
         flags = 0;
     } else {
@@ -1712,7 +1712,7 @@
             snprintf(buffer + strlen(buffer), 256, ")");
         }
         else {
-            sprintf(buffer, "Opcode 0x%x", opcode);
+            sprintf(buffer, "Opcode %#x", opcode);
         }
         goto done;
     } else {