Index: linux-3.7-rc8/drivers/pinctrl/pinctrl-falcon.c
===================================================================
--- linux-3.7-rc8.orig/drivers/pinctrl/pinctrl-falcon.c	2012-12-03 20:22:37.000000000 +0100
+++ linux-3.7-rc8/drivers/pinctrl/pinctrl-falcon.c	2012-12-16 10:57:21.454809078 +0100
@@ -398,6 +398,9 @@
 		u32 avail;
 		int pins;
 
+		if (!of_device_is_available(np))
+			continue;
+
 		if (!ppdev) {
 			dev_err(&pdev->dev, "failed to find pad pdev\n");
 			continue;