Fixes Debian bug #350729

Fixes Debian bug #350729
* src/vm/jit/i386/asmpart.S (asm_md_init): Added, puts the FPU to
64-bit precision mode.
* src/vm/jit/i386/md.c (md_init): Call asm_md_init.

* src/vm/jit/asmpart.h (asm_md_init): Added.
(has_no_x_instr_set): Removed.
* src/vm/options.c, src/vm/options.h (has_ext_instr_set): Removed.
* src/vm/jit/jit.c (jit_init): Removed has_no_x_instr_set call.
* src/vm/jit/alpha/asmpart.S (has_no_x_instr_set): Renamed to
asm_md_init.
* src/vm/jit/alpha/md.c (has_ext_instr_set): Added.
(md_init): Call asm_md_init.
* src/vm/jit/alpha/md.h (has_ext_instr_set): Added.