-Index: linux-3.3.8/drivers/Kconfig
-===================================================================
---- linux-3.3.8.orig/drivers/Kconfig 2012-06-01 09:16:13.000000000 +0200
-+++ linux-3.3.8/drivers/Kconfig 2012-07-28 22:16:32.894397322 +0200
-@@ -60,6 +60,8 @@
+--- a/drivers/Kconfig
++++ b/drivers/Kconfig
+@@ -60,6 +60,8 @@ source "drivers/pinctrl/Kconfig"
source "drivers/gpio/Kconfig"
source "drivers/w1/Kconfig"
source "drivers/power/Kconfig"
-Index: linux-3.3.8/drivers/Makefile
-===================================================================
---- linux-3.3.8.orig/drivers/Makefile 2012-06-01 09:16:13.000000000 +0200
-+++ linux-3.3.8/drivers/Makefile 2012-07-28 22:16:17.990396684 +0200
+--- a/drivers/Makefile
++++ b/drivers/Makefile
@@ -8,6 +8,7 @@
# GPIO must come after pinctrl as gpios may need to mux pins etc
obj-y += pinctrl/