diff --git a/board_enable.c b/board_enable.c
index 539bc16..d2e1c35 100644
--- a/board_enable.c
+++ b/board_enable.c
@@ -26,11 +26,13 @@
 #include <stdlib.h>
 #include "flash.h"
 #include "programmer.h"
-#include "hwaccess_x86_io.h"
-#include "hwaccess_x86_msr.h"
 #include "platform/pci.h"
 
 #if defined(__i386__) || defined(__x86_64__)
+
+#include "hwaccess_x86_io.h"
+#include "hwaccess_x86_msr.h"
+
 /*
  * Helper functions for many Winbond Super I/Os of the W836xx range.
  */
diff --git a/chipset_enable.c b/chipset_enable.c
index 5fed9e7..459819a 100644
--- a/chipset_enable.c
+++ b/chipset_enable.c
@@ -34,8 +34,6 @@
 #include <errno.h>
 #include "flash.h"
 #include "programmer.h"
-#include "hwaccess_x86_io.h"
-#include "hwaccess_x86_msr.h"
 #include "hwaccess_physmap.h"
 #include "platform/pci.h"
 
@@ -43,6 +41,9 @@
 
 #if defined(__i386__) || defined(__x86_64__)
 
+#include "hwaccess_x86_io.h"
+#include "hwaccess_x86_msr.h"
+
 static int enable_flash_ali_m1533(struct pci_dev *dev, const char *name)
 {
 	uint8_t tmp;
diff --git a/hwaccess_x86_io.c b/hwaccess_x86_io.c
index 3152bfe..fc6ee54 100644
--- a/hwaccess_x86_io.c
+++ b/hwaccess_x86_io.c
@@ -79,7 +79,6 @@
 #else
 
 /* DJGPP and libpayload environments have full PCI port I/O permissions by default. */
-/* PCI port I/O support is unimplemented on PPC/MIPS and unavailable on ARM. */
 int rget_io_perms(void)
 {
 	return 0;
diff --git a/internal.c b/internal.c
index c7a4a2f..9d2069d 100644
--- a/internal.c
+++ b/internal.c
@@ -19,10 +19,13 @@
 #include <stdlib.h>
 #include "flash.h"
 #include "programmer.h"
-#include "hwaccess_x86_io.h"
 #include "hwaccess_physmap.h"
 #include "platform/pci.h"
 
+#if defined(__i386__) || defined(__x86_64__)
+#include "hwaccess_x86_io.h"
+#endif
+
 struct pci_dev *pci_dev_find_vendorclass(uint16_t vendor, uint16_t devclass)
 {
 	struct pci_dev *temp;
@@ -219,10 +222,6 @@
 	}
 	free(arg);
 
-	if (rget_io_perms()) {
-		ret = 1;
-		goto internal_init_exit;
-	}
 
 	/* Unconditionally reset global state from previous operation. */
 	laptop_ok = false;
@@ -252,6 +251,11 @@
 	}
 
 #if defined(__i386__) || defined(__x86_64__)
+	if (rget_io_perms()) {
+		ret = 1;
+		goto internal_init_exit;
+	}
+
 	if ((cb_parse_table(&cb_vendor, &cb_model) == 0) && (board_vendor != NULL) && (board_model != NULL)) {
 		if (strcasecmp(board_vendor, cb_vendor) || strcasecmp(board_model, cb_model)) {
 			msg_pwarn("Warning: The mainboard IDs set by -p internal:mainboard (%s:%s) do not\n"