diff --git a/src/mainboard/dell/s1850/reset.c b/src/mainboard/dell/s1850/reset.c
index cf9e3d8d69..28a019a7d9 100644
--- a/src/mainboard/dell/s1850/reset.c
+++ b/src/mainboard/dell/s1850/reset.c
@@ -1,9 +1,9 @@
 #include <arch/io.h>
-#include <device/pci.h>
+
 #include <device/pci_def.h>
 #include <device/pci_ids.h>
 #ifndef __ROMCC__
-#include <device/device.h>
+#include <device/pci.h>
 #define PCI_ID(VENDOR_ID, DEVICE_ID) \
 	((((DEVICE_ID) & 0xFFFF) << 16) | ((VENDOR_ID) & 0xFFFF))
 #define PCI_DEV_INVALID 0
@@ -12,6 +12,8 @@ static inline device_t pci_locate_device(unsigned pci_id, device_t from)
 {
 	return dev_find_device(pci_id >> 16, pci_id & 0xffff, from);
 }
+#else
+#include <arch/romcc_io.h>
 #endif
 
 void soft_reset(void)