diff --git a/arch/microblaze/kernel/platform.c b/arch/microblaze/kernel/platform.c
index 2540d60610d917b55ad234837c43627955bf4e4f..b9a414552d9b4408fcd4da71474fa935e7a05066 100644
--- a/arch/microblaze/kernel/platform.c
+++ b/arch/microblaze/kernel/platform.c
@@ -14,15 +14,8 @@
 #include <linux/of_platform.h>
 #include <asm/setup.h>
 
-static struct of_device_id xilinx_of_bus_ids[] __initdata = {
-	{ .compatible = "simple-bus", },
-	{ .compatible = "xlnx,compound", },
-	{}
-};
-
 static int __init microblaze_device_probe(void)
 {
-	of_platform_bus_probe(NULL, xilinx_of_bus_ids, NULL);
 	of_platform_reset_gpio_probe();
 	return 0;
 }