Start device_hardware_setup in mainint even with CONFIG_THREAD_OPTIONROMS.

There's no real gain to starting the device_hardware_setup in the
middle of the platform setup.  Always start it just prior to the VGA
rom.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
diff --git a/src/post.c b/src/post.c
index 2c5e34e..d75b868 100644
--- a/src/post.c
+++ b/src/post.c
@@ -163,19 +163,13 @@
     pci_setup();
     smm_setup();
 
-    // Initialize mtrr
+    // Initialize mtrr and smp
     mtrr_setup();
+    smp_setup();
 
     // Setup Xen hypercalls
     xen_hypercall_setup();
 
-    // Start hardware initialization (if optionrom threading)
-    if (CONFIG_THREAD_OPTIONROMS)
-        device_hardware_setup();
-
-    // Find and initialize other cpus
-    smp_setup();
-
     // Setup external BIOS interface tables
     if (CONFIG_COREBOOT)
         coreboot_biostable_setup();
@@ -225,6 +219,10 @@
     // Setup platform devices.
     platform_hardware_setup();
 
+    // Start hardware initialization (if optionrom threading)
+    if (CONFIG_THREAD_OPTIONROMS)
+        device_hardware_setup();
+
     // Run vga option rom
     vgarom_setup();