Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
+++ kernel/genarch/include/kbd/z8530.h	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
@@ -38,5 +38,9 @@
 #define KERN_Z8530_H_
 
+#include <typedefs.h>
+
 #define Z8530_INTRCV_DATA0	0x39	/* hardcoded for use in Simics */
+
+extern bool z8530_belongs_to_kernel;
 
 extern void z8530_init(void);