src: Remove unneeded include <console/console.h>

Change-Id: I40f8b4c7cbc55e16929b1f40d18bb5a9c19845da
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/29289
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>

src/soc/mediatek/common/timer.c

@@ -14,7 +14,6 @@
  */
 
 #include <arch/io.h>
-#include <console/console.h>
 #include <timer.h>
 #include <delay.h>
 #include <thread.h>

src/soc/mediatek/common/uart.c

@@ -15,7 +15,6 @@
 
 #include <arch/io.h>
 #include <boot/coreboot_tables.h>
-#include <console/console.h>	/* for __console definition */
 #include <console/uart.h>
 #include <drivers/uart/uart8250reg.h>
 #include <stdint.h>

src/soc/mediatek/mt8173/ddp.c

@@ -14,7 +14,6 @@
  */
 
 #include <arch/io.h>
-#include <console/console.h>
 #include <delay.h>
 #include <edid.h>
 #include <stdlib.h>

src/soc/mediatek/mt8173/gpio_init.c

@@ -12,8 +12,8 @@
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  */
+
 #include <arch/io.h>
-#include <console/console.h>
 #include <soc/gpio.h>
 #include <soc/mipi.h>
 

src/soc/mediatek/mt8173/soc.c

@@ -13,7 +13,6 @@
  * GNU General Public License for more details.
  */
 
-#include <console/console.h>
 #include <device/device.h>
 #include <symbols.h>
 #include <soc/emi.h>