diff --git a/drivers/tty/rs232.c b/drivers/tty/rs232.c
index 87b27dec5..6ec212a88 100644
--- a/drivers/tty/rs232.c
+++ b/drivers/tty/rs232.c
@@ -584,6 +584,7 @@ tty_t *tp;			/* which TTY */
   irq = (line & 1) == 0 ? RS232_IRQ : SECONDARY_IRQ;
 
   rs->irq = irq;
+  rs->irq_hook_id = rs->irq;	/* call back with irq line number */
   if(sys_irqsetpolicy(irq, IRQ_REENABLE, &rs->irq_hook_id) != OK) {
   	printf("RS232: Couldn't obtain hook for irq %d\n", irq);
   } else {
diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index 5e84f5818..7751e86e2 100644
--- a/servers/is/dmp.c
+++ b/servers/is/dmp.c
@@ -41,6 +41,7 @@ PUBLIC int do_fkey_pressed(message *m)
   if (pressed(F11))	timing_dmp();
   if (pressed(F12))	sched_dmp();
 
+#if DEAD_CODE
   if (pressed(F9)) { 
   	printf("IS server going into infinite loop... hit 5x a function key\n");
   	printf("Five times a function key is fine as well ...\n");
@@ -52,6 +53,7 @@ PUBLIC int do_fkey_pressed(message *m)
   	printf("IS server back to normal ... \n");
   	return(EDONTREPLY);
   }
+#endif
 
   /* Also check Shift F1-F6 keys. */
   if (pressed(SF1))	mproc_dmp();