drivers.h: fix machine includes

diff --git a/include/minix/drivers.h b/include/minix/drivers.h
index a2c6968c61fcac4498be8e996bf24dd749677fc2..ca09746024724e9619a6885b55d64b31b48cd102 100644 (file)
--- a/include/minix/drivers.h
+++ b/include/minix/drivers.h
@@ -25,8 +25,10 @@
 #include <minix/bitmap.h>
 
 #include <machine/interrupt.h> /* IRQ vectors and miscellaneous ports */
+#if defined(__i386__)
 #include <machine/bios.h>      /* BIOS index numbers */
 #include <machine/ports.h>     /* Well-known ports */
+#endif
 
 #include <string.h>
 #include <signal.h>