diff --git a/configs/teensy-3.x/src/k20_userleds.c b/configs/teensy-3.x/src/k20_userleds.c
index 64b0cc2515..1820cd890b 100644
--- a/configs/teensy-3.x/src/k20_userleds.c
+++ b/configs/teensy-3.x/src/k20_userleds.c
@@ -72,7 +72,7 @@ void kinetis_setled(int led, bool ledon)
 {
   if (led == BOARD_LED)
     {
-      kinetis_pinconfig(GPIO_LED);
+      kinetis_gpiowrite(GPIO_LED, ledon);
     }
 }
 
@@ -82,7 +82,7 @@ void kinetis_setled(int led, bool ledon)
 
 void kinetis_setleds(uint8_t ledset)
 {
-  kinetis_pinconfig((ledset & BOARD_LED_BIT) != 0);
+  kinetis_gpiowrite(GPIO_LED, (ledset & BOARD_LED_BIT) != 0);
 }
 
 #endif /* !CONFIG_ARCH_LEDS */