diff --git a/src/config/cloud/ioapi.h b/src/config/cloud/ioapi.h
new file mode 100644
index 000000000..c7c917f2e
--- /dev/null
+++ b/src/config/cloud/ioapi.h
@@ -0,0 +1,7 @@
+/* Work around missing PCI BIOS calls in the cut-down SeaBIOS found in
+ * some AWS EC2 instances.
+ */
+#ifdef PLATFORM_pcbios
+#undef PCIAPI_PCBIOS
+#define PCIAPI_DIRECT
+#endif
diff --git a/src/config/ioapi.h b/src/config/ioapi.h
index abe5a50ce..a1498482d 100644
--- a/src/config/ioapi.h
+++ b/src/config/ioapi.h
@@ -14,6 +14,9 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 //#undef	PCIAPI_PCBIOS		/* Access via PCI BIOS */
 //#define	PCIAPI_DIRECT		/* Direct access via Type 1 accesses */
 
+#include <config/named.h>
+#include NAMED_CONFIG(ioapi.h)
 #include <config/local/ioapi.h>
+#include LOCAL_NAMED_CONFIG(ioapi.h)
 
 #endif /* CONFIG_IOAPI_H */
diff --git a/src/config/qemu/ioapi.h b/src/config/qemu/ioapi.h
new file mode 100644
index 000000000..e69de29bb
diff --git a/src/config/rpi/ioapi.h b/src/config/rpi/ioapi.h
new file mode 100644
index 000000000..e69de29bb
diff --git a/src/config/vbox/ioapi.h b/src/config/vbox/ioapi.h
new file mode 100644
index 000000000..e69de29bb