arch/x86: Clean up includes

Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: Id2db229dec2ed44333faaa8c53f3a2f9d66d52e0
Reviewed-on: https://review.coreboot.org/c/coreboot/+/68200
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martin.roth@amd.corp-partner.google.com>

src/arch/x86/cpu_common.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <cpu/cpu.h>
+#include <types.h>
 
 #if ENV_X86_32
 /* Standard macro to see if a specific flag is changeable */

src/arch/x86/ebda.c

@@ -3,7 +3,7 @@
 #include <acpi/acpi.h>
 #include <bootstate.h>
 #include <commonlib/endian.h>
-#include <stdint.h>
+#include <types.h>
 
 #define X86_BDA_SIZE		0x200
 #define X86_BDA_BASE		((void *)0x400)

src/arch/x86/mpspec.c

@@ -1,14 +1,17 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <console/console.h>
+#include <acpi/acpi.h>
-#include <device/path.h>
-#include <device/pci_ids.h>
 #include <arch/ioapic.h>
 #include <arch/smp/mpspec.h>
-#include <string.h>
+#include <console/console.h>
 #include <cpu/cpu.h>
 #include <cpu/x86/lapic.h>
+#include <device/device.h>
+#include <device/path.h>
+#include <device/pci_ids.h>
 #include <drivers/generic/ioapic/chip.h>
+#include <stdint.h>
+#include <string.h>
 
 /* Initialize the specified "mc" struct with initial values. */
 void mptable_init(struct mp_config_table *mc)

src/arch/x86/null_breakpoint.c

@@ -1,9 +1,10 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
+
 #include <arch/breakpoint.h>
 #include <arch/null_breakpoint.h>
 #include <bootstate.h>
 #include <console/console.h>
-#include <stdint.h>
+#include <types.h>
 
 static struct breakpoint_handle null_deref_bp;
 static struct breakpoint_handle null_fetch_bp;

src/arch/x86/post.c

@@ -1,9 +1,9 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <arch/io.h>
+#include <console/console.h>
 #include <post.h>
 #include <stdint.h>
-#include <console/console.h>
-#include <arch/io.h>
 
 void arch_post_code(uint8_t value)
 {

src/arch/x86/postcar_loader.c

@@ -9,9 +9,10 @@
 #include <program_loading.h>
 #include <reset.h>
 #include <rmodule.h>
+#include <security/vboot/vboot_common.h>
 #include <stage_cache.h>
 #include <timestamp.h>
-#include <security/vboot/vboot_common.h>
+#include <types.h>
 
 static size_t var_mtrr_ctx_size(void)
 {

src/arch/x86/rdrand.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <random.h>
+#include <stdint.h>
 
 /*
  * Intel recommends that applications attempt 10 retries in a tight loop