Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 4874c2dc3da3748951cb71f24805c35b88106d0f)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 95b355086cd805dc6f9cc96f44fa2ef92cecd8b5)
@@ -252,5 +252,5 @@
 static void cuda_irq_handler(irq_t *irq, void *arg, ...)
 {
-	if (irq->notif_cfg.notify && irq->notif_cfg.answerbox)
+	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))
 		ipc_irq_send_notif(irq);
 	else {
@@ -306,6 +306,4 @@
 	sysinfo_set_item_val("kbd.inr", NULL, CUDA_IRQ);
 	sysinfo_set_item_val("kbd.address.virtual", NULL, base);
-
-	cuda_grab();
 }