Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision eff1f033c237dd4f18d79cf25fbd33de6fa9278c)
+++ kernel/arch/amd64/src/amd64.c	(revision fa581b3d9c8149d963181a4c86f9303f392bb277)
@@ -235,8 +235,7 @@
 #endif
 	
-	/*
-	 * This nasty hack should also go away ASAP.
-	 */
-	trap_virtual_enable_irqs(1 << IRQ_DP8390);
+	if (irqs_info != NULL)
+		sysinfo_set_item_val(irqs_info, NULL, true);
+	
 	sysinfo_set_item_val("netif.dp8390.inr", NULL, IRQ_DP8390);
 }
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision eff1f033c237dd4f18d79cf25fbd33de6fa9278c)
+++ kernel/arch/amd64/src/interrupt.c	(revision fa581b3d9c8149d963181a4c86f9303f392bb277)
@@ -62,4 +62,5 @@
 void (* enable_irqs_function)(uint16_t irqmask) = NULL;
 void (* eoi_function)(void) = NULL;
+const char *irqs_info = NULL;
 
 void istate_decode(istate_t *istate)