diff --git a/configs/sam4s-xplained-pro/src/sam_tc.c b/configs/sam4s-xplained-pro/src/sam_tc.c
index 851e0d2de34..fb0a1990cd3 100755
--- a/configs/sam4s-xplained-pro/src/sam_tc.c
+++ b/configs/sam4s-xplained-pro/src/sam_tc.c
@@ -57,10 +57,6 @@
 #include "sam_lowputc.h"
 #include "sam_tc.h"
 
-#if defined(CONFIG_SCHED_CPULOAD) && defined(CONFIG_SCHED_CPULOAD_EXTCLK)
-#  include <os_internal.h>
-#endif
-
 #ifdef CONFIG_TIMER
 
 /****************************************************************************