Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 69114714b32f8575a7def8ac202a1d78e12f43f1)
+++ kernel/generic/src/ipc/irq.c	(revision 077bc5b99e194570a50d064b2ca7673376920aa6)
@@ -439,11 +439,7 @@
 			break;
 		case CMD_ACCEPT:
-			if (AS != current_as)
-				as_switch(AS, current_as);
 			return IRQ_ACCEPT;
 		case CMD_DECLINE:
 		default:
-			if (AS != current_as)
-				as_switch(AS, current_as);
 			return IRQ_DECLINE;
 		}