Add missing kernel.h includes (hopefully all of them).

Change-Id: I9c1825296a788587b8d494d8514b3314847b0ff0

2 files changed, 7 insertions, 4 deletions

diff --git a/firmware/target/sh/archos/player/lcd-player.c b/firmware/target/sh/archos/player/lcd-player.c
index 330cc266bc..95b0164bf5 100644
--- a/firmware/target/sh/archos/player/lcd-player.c
+++ b/firmware/target/sh/archos/player/lcd-player.c
@@ -20,10 +20,11 @@
  *
  ****************************************************************************/
 
-#include "config.h"
 #include <string.h>
-#include "hwcompat.h"
+#include "config.h"
 #include "system.h"
+#include "kernel.h"
+#include "hwcompat.h"
 #include "lcd.h"
 #include "lcd-charcell.h"
 
diff --git a/firmware/target/sh/debug-sh.c b/firmware/target/sh/debug-sh.c
index 180c37f3c6..bee4896174 100644
--- a/firmware/target/sh/debug-sh.c
+++ b/firmware/target/sh/debug-sh.c
@@ -19,10 +19,12 @@
  *
  ****************************************************************************/
 
-#include "config.h"
-#include "system.h"
 #include <stdbool.h>
 #include <string.h>
+
+#include "config.h"
+#include "system.h"
+#include "kernel.h"
 #include "font.h"
 #include "lcd.h"
 #include "button.h"