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

Change-Id: I9c1825296a788587b8d494d8514b3314847b0ff0

1 files changed, 2 insertions, 1 deletions

diff --git a/firmware/target/arm/imx233/dma-imx233.c b/firmware/target/arm/imx233/dma-imx233.c
index 81ae5aeb72..6727e9b95b 100644
--- a/firmware/target/arm/imx233/dma-imx233.c
+++ b/firmware/target/arm/imx233/dma-imx233.c
@@ -18,8 +18,10 @@
  * KIND, either express or implied.
  *
  ****************************************************************************/
+
 #include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "dma-imx233.h"
 #include "lcd.h"
 #include "string.h"
@@ -287,4 +289,3 @@ struct imx233_dma_info_t imx233_dma_get_info(unsigned chan, unsigned flags)
     s.nr_unaligned = apb_nr_unaligned[chan];
     return s;
 }
-