diff --git a/linux-user/main.c b/linux-user/main.c
index 2125aa5e63..e871b4811c 100644
--- a/linux-user/main.c
+++ b/linux-user/main.c
@@ -2234,7 +2234,7 @@ int main(int argc, char **argv)
     set_idt(2, 0);
     set_idt(3, 3);
     set_idt(4, 3);
-    set_idt(5, 3);
+    set_idt(5, 0);
     set_idt(6, 0);
     set_idt(7, 0);
     set_idt(8, 0);