diff --git a/board/karo/tx25/tx25.c b/board/karo/tx25/tx25.c
index 25b99e81b29..ce75468e384 100644
--- a/board/karo/tx25/tx25.c
+++ b/board/karo/tx25/tx25.c
@@ -28,6 +28,7 @@
 #include <asm/io.h>
 #include <asm/arch/imx-regs.h>
 #include <asm/arch/imx25-pinmux.h>
+#include <asm/gpio.h>
 
 static void mdelay(int n)
 {
diff --git a/include/configs/tx25.h b/include/configs/tx25.h
index b284daafffd..cb604a5a312 100644
--- a/include/configs/tx25.h
+++ b/include/configs/tx25.h
@@ -91,6 +91,8 @@
 #define CONFIG_BAUDRATE		115200	/* Default baud rate */
 #define CONFIG_SYS_BAUDRATE_TABLE	{ 9600, 19200, 38400, 57600, 115200 }
 
+#define CONFIG_MXC_GPIO
+
 /*
  * Flash & Environment
  */