Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 8513ad77da21520006dc3e18de1e95a2b6f59c6f)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 4874c2dc3da3748951cb71f24805c35b88106d0f)
@@ -64,7 +64,4 @@
 static volatile uint8_t *cuda = NULL;
 static irq_t cuda_irq;		/**< Cuda's IRQ. */
-
-static ipc_notif_cfg_t saved_notif_cfg;
-
 
 static char lchars[0x80] = {
@@ -255,5 +252,5 @@
 static void cuda_irq_handler(irq_t *irq, void *arg, ...)
 {
-	if (irq->notif_cfg.answerbox)
+	if (irq->notif_cfg.notify && irq->notif_cfg.answerbox)
 		ipc_irq_send_notif(irq);
 	else {
@@ -277,11 +274,5 @@
 void cuda_grab(void)
 {
-	if (cuda_irq.notif_cfg.answerbox) {
-		saved_notif_cfg = cuda_irq.notif_cfg;
-		cuda_irq.notif_cfg.answerbox = NULL;
-		cuda_irq.notif_cfg.code = NULL;
-		cuda_irq.notif_cfg.method = 0;
-		cuda_irq.notif_cfg.counter = 0;
-	}
+	cuda_irq.notif_cfg.notify = false;
 }
 
@@ -290,6 +281,6 @@
 void cuda_release(void)
 {
-	if (saved_notif_cfg.answerbox)
-		cuda_irq.notif_cfg = saved_notif_cfg;
+	if (cuda_irq.notif_cfg.answerbox)
+		cuda_irq.notif_cfg.notify = true;
 }