diff --git a/boards/cc2538dk/board.c b/boards/cc2538dk/board.c
index 13eed787d29db8b7bde4783f60857aea576d775b..0c054f2898b72c5e8097e8360181064d0bbccf93 100644
--- a/boards/cc2538dk/board.c
+++ b/boards/cc2538dk/board.c
@@ -21,10 +21,6 @@
 #include "board.h"
 #include "cpu.h"
 
-#include "ioc.h"
-#include "lpm.h"
-#include "cc2538-gpio.h"
-
 static void led_init_helper(int gpio_num) {
     gpio_software_control(gpio_num);
     gpio_dir_output(gpio_num);
diff --git a/boards/cc2538dk/include/periph_conf.h b/boards/cc2538dk/include/periph_conf.h
index b3ff27f7cf47adbe6f3dc10944ceed7ef6639366..6443d6393b9012301753f19f19cd4164c8b66ab6 100644
--- a/boards/cc2538dk/include/periph_conf.h
+++ b/boards/cc2538dk/include/periph_conf.h
@@ -19,7 +19,7 @@
 #ifndef PERIPH_CONF_H_
 #define PERIPH_CONF_H_
 
-#include "gptimer.h"
+#include "cpu.h"
 
 #ifdef __cplusplus
 extern "C" {