:: commit 83b6d7816d609ff7c5a9fe688ae10a45c0c6786d

diff --git a/common/entry.s2.c b/common/entry.s2.c
index 9de0697f..b553083c 100644
--- a/common/entry.s2.c
+++ b/common/entry.s2.c
@@ -21,7 +21,9 @@
 #include <pxe/pxe.h>
 #include <pxe/tftp.h>
 #include <drivers/disk.h>
-#include <sys/idt.h>
+#if defined (__x86_64__) || defined (__i386__)
+#  include <sys/idt.h>
+#endif
 #include <sys/cpu.h>
 
 struct volume *boot_volume;