arch_x86: handle df64 constraint; core: improve emulator; emul_interpreter: is now able to emulate simple code for x86