Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/arch/amd64/src/amd64.c	(revision 08c88b8417ff45cba6767f098910f4feecc24b6b)
@@ -228,9 +228,10 @@
 	    (uintptr_t) I8042_BASE);
 #endif
-
-#ifdef CONFIG_NETIF_DP8390
+	
+	/*
+	 * This nasty hack should also go away ASAP.
+	 */
 	trap_virtual_enable_irqs(1 << IRQ_DP8390);
 	sysinfo_set_item_val("netif.dp8390.inr", NULL, IRQ_DP8390);
-#endif
 }