diff --git a/msb-430-common/board_init.c b/msb-430-common/board_init.c
index 4673600445f7321d7e8deeea62703f217f989491..e32945a0cb3f90b6374807b1eeaa63336c3613b0 100644
--- a/msb-430-common/board_init.c
+++ b/msb-430-common/board_init.c
@@ -1,6 +1,6 @@
 #include "cpu.h"
 #include "board.h"
-#include "kernel_intern.h"
+#include "kernel_internal.h"
 #include "msp430.h"
 #include "debug.h"
 
diff --git a/wsn430-common/board_init.c b/wsn430-common/board_init.c
index d89657017b8041242308d3407b8e5c365a39463a..986a8ed10fc75ab984b8ff81e7cd7287d4c79088 100644
--- a/wsn430-common/board_init.c
+++ b/wsn430-common/board_init.c
@@ -8,7 +8,7 @@
 
 #include "cpu.h"
 #include "board.h"
-#include "kernel_intern.h"
+#include "kernel_internal.h"
 #include "msp430.h"
 #include "debug.h"