Right you are jbellis. Had forgotten that Dalvik isn't just a small JVM but a completely different architecture (register based, etc).

But anyway, what nimrody suggested is what they are doing - using platform neutral Dalvik bytecode and then transition to native through JIT.