diff --git a/boards/mulle/include/board.h b/boards/mulle/include/board.h
index a6d1eaf5ce5a42b7f3d2ed2e4aa26ce7e0d4d333..f80a65919f1f91bf3b4889200454325add048037 100644
--- a/boards/mulle/include/board.h
+++ b/boards/mulle/include/board.h
@@ -54,15 +54,15 @@
  * @name Macros for controlling the on-board LEDs.
  * @{
  */
-#define LED_RED_ON          (BITBAND_REG32(LED_RED_PORT->PSOR, LED_RED_PIN) = 1)
-#define LED_RED_OFF         (BITBAND_REG32(LED_RED_PORT->PCOR, LED_RED_PIN) = 1)
-#define LED_RED_TOGGLE      (BITBAND_REG32(LED_RED_PORT->PTOR, LED_RED_PIN) = 1)
-#define LED_YELLOW_ON       (BITBAND_REG32(LED_YELLOW_PORT->PSOR, LED_YELLOW_PIN) = 1)
-#define LED_YELLOW_OFF      (BITBAND_REG32(LED_YELLOW_PORT->PCOR, LED_YELLOW_PIN) = 1)
-#define LED_YELLOW_TOGGLE   (BITBAND_REG32(LED_YELLOW_PORT->PTOR, LED_YELLOW_PIN) = 1)
-#define LED_GREEN_ON        (BITBAND_REG32(LED_GREEN_PORT->PSOR, LED_GREEN_PIN) = 1)
-#define LED_GREEN_OFF       (BITBAND_REG32(LED_GREEN_PORT->PCOR, LED_GREEN_PIN) = 1)
-#define LED_GREEN_TOGGLE    (BITBAND_REG32(LED_GREEN_PORT->PTOR, LED_GREEN_PIN) = 1)
+#define LED_RED_ON          (LED_RED_PORT->PSOR = (1 << LED_RED_PIN))
+#define LED_RED_OFF         (LED_RED_PORT->PCOR = (1 << LED_RED_PIN))
+#define LED_RED_TOGGLE      (LED_RED_PORT->PTOR = (1 << LED_RED_PIN))
+#define LED_YELLOW_ON       (LED_YELLOW_PORT->PSOR = (1 << LED_YELLOW_PIN))
+#define LED_YELLOW_OFF      (LED_YELLOW_PORT->PCOR = (1 << LED_YELLOW_PIN))
+#define LED_YELLOW_TOGGLE   (LED_YELLOW_PORT->PTOR = (1 << LED_YELLOW_PIN))
+#define LED_GREEN_ON        (LED_GREEN_PORT->PSOR = (1 << LED_GREEN_PIN))
+#define LED_GREEN_OFF       (LED_GREEN_PORT->PCOR = (1 << LED_GREEN_PIN))
+#define LED_GREEN_TOGGLE    (LED_GREEN_PORT->PTOR = (1 << LED_GREEN_PIN))
 /** @} */
 
 #ifdef __cplusplus