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

Change-Id: I9c1825296a788587b8d494d8514b3314847b0ff0

3 files changed, 6 insertions, 2 deletions

diff --git a/firmware/drivers/audio/tlv320.c b/firmware/drivers/audio/tlv320.c
index 9fa676f3d5..c4c748d527 100644
--- a/firmware/drivers/audio/tlv320.c
+++ b/firmware/drivers/audio/tlv320.c
@@ -18,9 +18,11 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
-#include "logf.h"
 #include "system.h"
+#include "kernel.h"
+#include "logf.h"
 #include "string.h"
 #include "audio.h"
 
@@ -313,4 +315,3 @@ void audiohw_set_monitor(bool enable)
     tlv320_write_reg(REG_PC,  value_pc);
 }
 #endif /* HAVE_RECORDING */
-
diff --git a/firmware/drivers/audio/uda1380.c b/firmware/drivers/audio/uda1380.c
index 9d6ece105b..debe299322 100644
--- a/firmware/drivers/audio/uda1380.c
+++ b/firmware/drivers/audio/uda1380.c
@@ -23,6 +23,7 @@
 #include "config.h"
 #include "logf.h"
 #include "system.h"
+#include "kernel.h"
 #include "audio.h"
 #include "debug.h"
 #include "udacodec.h"
diff --git a/firmware/drivers/audio/wm8978.c b/firmware/drivers/audio/wm8978.c
index 69ae608e5d..0730ff5118 100644
--- a/firmware/drivers/audio/wm8978.c
+++ b/firmware/drivers/audio/wm8978.c
@@ -20,8 +20,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "audiohw.h"
 #include "wmcodec.h"
 #include "audio.h"