Re: [PATCH 2/2] powerpc/85xx: add Fman MDIO muxing support to the P4080DS

diff --git a/arch/powerpc/platforms/85xx/corenet_ds.c b/arch/powerpc/platforms/85xx/corenet_ds.c
index 925b028..a79fc79 100644
--- a/arch/powerpc/platforms/85xx/corenet_ds.c
+++ b/arch/powerpc/platforms/85xx/corenet_ds.c

@@ -106,6 +106,13 @@ static const struct of_device_id of_device_ids[] __devinitconst = {

	{
		.name		= "handles",
	},
+	{
+		/*
+		 * Warning: this entry might need to be located before those
+		 * for the Fman Ethernet nodes.
+		 */
+		.compatible	= "mdio-mux",
+	},
	{}
};