Only set machine when not in long mode

diff --git a/intel.c b/intel.c
index 9c012136d58dab350c27ffe83be2ed9731bf4c79..0f24e60a44f1b0e1c097af2874b6f249d587038a 100644 (file)
--- a/intel.c
+++ b/intel.c
@@ -2033,7 +2033,7 @@ static void handler_model (char *start, char **pp) {
         state->data_size = 0;
         state->model = 7;
         
-        if (cpu_arch_flags.cpu_386) {
+        if (!cpu_arch_flags.cpu_long_mode && cpu_arch_flags.cpu_386) {
         
             machine_dependent_set_march ("i386+387");
             machine_dependent_set_bits (32, 1);