Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/arch/ia32/src/ia32.c	(revision 3aae4e89c4b282c2c55a468b0ba490d1c1f4cb74)
@@ -186,9 +186,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
 }