Fix various reds. Some includes needed fixup.

Change-Id: I4327740bae17054131feb917abdd58846c451988

firmware/target/arm/i2c-telechips.c

@@ -21,6 +21,7 @@
 #include "config.h"
 
 #include "system.h"
+#include "kernel.h"
 #include "i2c.h"
 #include "i2c-target.h"
 

firmware/target/arm/philips/hdd6330/button-hdd6330.c

@@ -19,7 +19,9 @@
  *
  ****************************************************************************/
 
+#include "config.h"
 #include "system.h"
+#include "kernel.h"
 #include "button.h"
 #include "backlight.h"
 #include "powermgmt.h"

firmware/target/arm/pp/ata-pp5020.c

@@ -23,6 +23,7 @@
 
 #include <stdbool.h>
 #include "system.h"
+#include "kernel.h"
 #include "ata-driver.h"
 
 void ata_reset() 

firmware/target/arm/pp/system-target.h

@@ -25,7 +25,6 @@
 #include <stdbool.h>
 #include "config.h"
 #include "system-arm.h"
-#include "kernel.h"
 
 /* TODO: This header could be split in 2 */
 

firmware/target/arm/tcc780x/cowond2/touchscreen-cowond2.c

@@ -20,6 +20,8 @@
  ****************************************************************************/
 
 #include "config.h"
+#include "system.h"
+#include "kernel.h"
 #include "button.h"
 #include "pcf50606.h"
 #include "touchscreen.h"

firmware/target/arm/tcc780x/debug-tcc780x.c

@@ -24,6 +24,7 @@
 #include "config.h"
 #include "cpu.h"
 #include "system.h"
+#include "kernel.h"
 #include "string.h"
 #include "button.h"
 #include "lcd.h"

firmware/target/arm/tcc780x/system-target.h

@@ -23,7 +23,6 @@
 
 #include "system-arm.h"
 #include "mmu-arm.h"
-#include "kernel.h" /* TIME_BEFORE */
 
 #define CPUFREQ_DEFAULT 32000000
 #define CPUFREQ_NORMAL  48000000