diff --git a/configs/freedom-kl25z/src/freedom-kl25z.h b/configs/freedom-kl25z/src/freedom-kl25z.h
index b387b5a5550..cc2f35a84c2 100644
--- a/configs/freedom-kl25z/src/freedom-kl25z.h
+++ b/configs/freedom-kl25z/src/freedom-kl25z.h
@@ -79,9 +79,9 @@
  *   LED_IDLE             K25Z1XX is in sleep mode  (Optional, not used)
  */
 
-#define GPIO_LED_R (GPIO_OUTPUT | GPIO_OUTPUT_SET | GPIO_PORTB | GPIO_PIN18)
-#define GPIO_LED_G (GPIO_OUTPUT | GPIO_OUTPUT_SET | GPIO_PORTB | GPIO_PIN19)
-#define GPIO_LED_B (GPIO_OUTPUT | GPIO_OUTPUT_SET | GPIO_PORTD | GPIO_PIN1)
+#define GPIO_LED_R (GPIO_OUTPUT | PIN_PORTB | PIN18)
+#define GPIO_LED_G (GPIO_OUTPUT | PIN_PORTB | PIN19)
+#define GPIO_LED_B (GPIO_OUTPUT | PIN_PORTD | PIN1)
 
 /* Button definitions ***************************************************************/
 /* The Freedom KL25Z has no buttons */
diff --git a/configs/freedom-kl25z/src/kl_led.c b/configs/freedom-kl25z/src/kl_led.c
index ccd4b4f5830..a71c5663820 100644
--- a/configs/freedom-kl25z/src/kl_led.c
+++ b/configs/freedom-kl25z/src/kl_led.c
@@ -127,11 +127,9 @@
 
 void kl_ledinit(void)
 {
-  led_dumpgpio("Before configuration");
-  //kl_configgpio(GPIO_LED_R);
-  //kl_configgpio(GPIO_LED_G);
-  //kl_configgpio(GPIO_LED_B);
-  led_dumpgpio("After configuration");
+  kl_configgpio(GPIO_LED_R);
+  kl_configgpio(GPIO_LED_G);
+  kl_configgpio(GPIO_LED_B);
 }
 
 /****************************************************************************