My guess is that this is closer to a simulator. Just a Dalvik runtime and any necessary OS hooks, so it should be much faster than an ARM emulator or x86 Android build running in a virtual machine.

    possibly an ARM->Intel recompiler

The NDK has an x86 target, so it would make sense to just rely on developers providing those in their APK.