diff --git a/Makefile b/Makefile
index 815952f..3fd447b 100644
--- a/Makefile
+++ b/Makefile
@@ -129,7 +129,6 @@
 	CONFIG_ATAPROMISE \
 	CONFIG_INTERNAL \
 	CONFIG_NIC3COM \
-	CONFIG_NICINTEL \
 	CONFIG_NICINTEL_EEPROM \
 	CONFIG_NICINTEL_SPI \
 	CONFIG_NICNATSEMI \
diff --git a/nicintel.c b/nicintel.c
index 0ad9f25..1e55f81 100644
--- a/nicintel.c
+++ b/nicintel.c
@@ -19,7 +19,6 @@
 #include "flash.h"
 #include "programmer.h"
 #include "hwaccess.h"
-#include "hwaccess_x86_io.h"
 #include "hwaccess_physmap.h"
 #include "platform/pci.h"
 
@@ -63,12 +62,6 @@
 	struct pci_dev *dev = NULL;
 	uintptr_t addr;
 
-	/* Needed only for PCI accesses on some platforms.
-	 * FIXME: Refactor that into get_mem_perms/rget_io_perms/get_pci_perms?
-	 */
-	if (rget_io_perms())
-		return 1;
-
 	/* FIXME: BAR2 is not available if the device uses the CardBus function. */
 	dev = pcidev_init(nics_intel, PCI_BASE_ADDRESS_2);
 	if (!dev)