diff --git a/platform/zoul/dev/adc-sensors.c b/platform/zoul/dev/adc-sensors.c
index b69dfc8cf..11d727dbc 100644
--- a/platform/zoul/dev/adc-sensors.c
+++ b/platform/zoul/dev/adc-sensors.c
@@ -49,7 +49,7 @@
 #include <stdio.h>
 #include <stdint.h>
 /*---------------------------------------------------------------------------*/
-#define DEBUG 1
+#define DEBUG 0
 #if DEBUG
 #define PRINTF(...) printf(__VA_ARGS__)
 #else
diff --git a/platform/zoul/dev/adc-zoul.c b/platform/zoul/dev/adc-zoul.c
index 4e309dcf4..f31a303ed 100644
--- a/platform/zoul/dev/adc-zoul.c
+++ b/platform/zoul/dev/adc-zoul.c
@@ -48,7 +48,7 @@
 #include <stdio.h>
 #include <stdint.h>
 /*---------------------------------------------------------------------------*/
-#define DEBUG 1
+#define DEBUG 0
 #if DEBUG
 #define PRINTF(...) printf(__VA_ARGS__)
 #else
@@ -136,13 +136,6 @@ configure(int type, int value)
       return ZOUL_SENSORS_ERROR;
     }
 
-    if((value != ZOUL_SENSORS_ADC1) && (value != ZOUL_SENSORS_ADC2) &&
-       (value != ZOUL_SENSORS_ADC3) && (value != ZOUL_SENSORS_ADC4) &&
-       (value != ZOUL_SENSORS_ADC5)) {
-      PRINTF("ADC: invalid adc pin mask\n");
-      return ZOUL_SENSORS_ERROR;
-    }
-
     GPIO_SOFTWARE_CONTROL(GPIO_A_BASE, value);
     GPIO_SET_INPUT(GPIO_A_BASE, value);