If nothing else, it's probably worth looking into integration with qemu user mode emulation, which already allows execution of ARM binaries on x86 platforms