1 files changed, 0 insertions, 8 deletions
diff --git a/src/device/device.c b/src/device/device.c
index 8337d55300..ffda588d63 100644
--- a/src/device/device.c
+++ b/src/device/device.c
@@ -12,9 +12,6 @@
 #include <stdlib.h>
 #include <string.h>
 #include <smp/spinlock.h>
-#if ENV_X86
-#include <arch/ebda.h>
-#endif
 #include <timer.h>
 
 /** Pointer to the last device */
@@ -566,11 +563,6 @@ void dev_initialize(void)
 
 	printk(BIOS_INFO, "Initializing devices...\n");
 
-#if ENV_X86
-	/* Ensure EBDA is prepared before Option ROMs. */
-	setup_default_ebda();
-#endif
-
 	/* First call the mainboard init. */
 	init_dev(&dev_root);