soc/intel/skylake: Clean up includes

Change-Id: I505ef39487b2677993423e5952b54e008e24fcc5
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69028
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>

src/soc/intel/skylake/bootblock/bootblock.c

@@ -1,11 +1,13 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <bootblock_common.h>
+#include <cpu/cpu.h>
 #include <intelblocks/fast_spi.h>
 #include <intelblocks/systemagent.h>
 #include <intelblocks/tco.h>
 #include <intelblocks/uart.h>
 #include <soc/bootblock.h>
+#include <stdint.h>
 
 asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
 {

src/soc/intel/skylake/nhlt/da7219.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
+#include <commonlib/bsd/helpers.h>
 #include <nhlt.h>
 #include <soc/nhlt.h>
 

src/soc/intel/skylake/nhlt/dmic.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config dmic_1ch_formats[] = {

src/soc/intel/skylake/nhlt/max98357.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config max98357_render_formats[] = {

src/soc/intel/skylake/nhlt/max98373.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config max98373_render_formats[] = {

src/soc/intel/skylake/nhlt/max98927.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config max98927_render_formats[] = {

src/soc/intel/skylake/nhlt/nau88l25.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 /* The same DSP firmware settings are used for both the capture and

src/soc/intel/skylake/nhlt/rt5514.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config rt5514_4ch_formats[] = {

src/soc/intel/skylake/nhlt/rt5663.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 /*

src/soc/intel/skylake/nhlt/ssm4567.c

@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <soc/nhlt.h>
 
 static const struct nhlt_format_config ssm4567_render_formats[] = {

src/soc/intel/skylake/p2sb.c

@@ -2,6 +2,7 @@
 
 #include <console/console.h>
 #include <intelblocks/p2sb.h>
+#include <types.h>
 
 void p2sb_soc_get_sb_mask(uint32_t *ep_mask, size_t count)
 {

src/soc/intel/skylake/sd.c

@@ -1,6 +1,10 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <acpi/acpi_device.h>
+#include <device/device.h>
 #include <intelblocks/sd.h>
+#include <stdint.h>
+
 #include "chip.h"
 
 int sd_fill_soc_gpio_info(struct acpi_gpio *gpio, const struct device *dev)