Index: kernel/generic/include/cap/cap.h
===================================================================
--- kernel/generic/include/cap/cap.h	(revision 3422fb6a2a8e483c3294e3bfbd50bd1dc755217c)
+++ kernel/generic/include/cap/cap.h	(revision 63d8f43468baaa1f20964c35b3aea13f36dd3e2c)
@@ -38,5 +38,4 @@
 #include <typedefs.h>
 #include <ipc/ipc.h>
-#include <ddi/irq.h>
 
 #define MAX_CAPS  64
@@ -64,8 +63,5 @@
 
 	/* The underlying kernel object. */
-	union {
-		phone_t phone;
-		irq_t irq;
-	};
+	void *kobject;
 } cap_t;