- Major update of the dynamic device tree so it can handle

* subtractive resources
  * merging with the static device tree
  * more device types than just pci
- The piece to watch out for is the new enable_resources method that was needed in all of the drivers


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1096 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

src/boot/hardwaremain.c

@@ -169,9 +169,7 @@ void hardwaremain(int boot_complete)
 	printk_info("Finding PCI configuration type.\n");
 	pci_set_method();
 	post_code(0x5f);
-#if 0
 	enumerate_static_devices();
-#endif
 	dev_enumerate();
 	post_code(0x66);
 	/* Now do the real bus.