Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision 04cb68f2d06da3440e206ec4339c4d23afa3910a)
+++ kernel/generic/src/ddi/ddi.c	(revision b9ccc46d4c76db6911d8be59c4810b77b388faab)
@@ -266,5 +266,7 @@
  */
 unative_t sys_interrupt_enable(int irq, int enable)
-{	
+{
+/* FIXME: this needs to be generic code, or better not be in kernel at all. */
+#if 0
 	cap_t task_cap = cap_get(TASK);
 	if (!(task_cap & CAP_IRQ_REG))
@@ -282,5 +284,6 @@
 	}
 	
-	return 0;	
+#endif
+	return 0;
 }