initial_dtb = data + offsetof(struct setup_data, data);
 }
 
+/*
+ * CE4100 ids. Will be moved to machine_device_initcall() once we have it.
+ */
+static struct of_device_id __initdata ce4100_ids[] = {
+       { .compatible = "intel,ce4100-cp", },
+       { .compatible = "isa", },
+       { .compatible = "pci", },
+       {},
+};
+
+static int __init add_bus_probe(void)
+{
+       if (!initial_boot_params)
+               return 0;
+
+       return of_platform_bus_probe(NULL, ce4100_ids, NULL);
+}
+module_init(add_bus_probe);
+
 #ifdef CONFIG_PCI
 static int x86_of_pci_irq_enable(struct pci_dev *dev)
 {