cpu/x86: Clean up includes

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

src/cpu/x86/backup_default_smm.c

@@ -1,10 +1,10 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <string.h>
 #include <acpi/acpi.h>
-#include <console/console.h>
 #include <cbmem.h>
+#include <console/console.h>
 #include <cpu/x86/smm.h>
+#include <string.h>
 
 void *backup_default_smm_area(void)
 {

src/cpu/x86/lapic/boot_cpu.c

@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <smp/node.h>
-#include <cpu/x86/msr.h>
 #include <cpu/x86/lapic_def.h>
+#include <cpu/x86/msr.h>
+#include <smp/node.h>
 
 #if CONFIG(SMP)
 int boot_cpu(void)

src/cpu/x86/lapic/lapic.c

@@ -1,13 +1,13 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <assert.h>
+#include <console/console.h>
 #include <cpu/cpu.h>
 #include <cpu/x86/lapic.h>
 #include <cpu/x86/lapic_def.h>
 #include <cpu/x86/msr.h>
-#include <console/console.h>
 #include <smp/node.h>
-#include <stdint.h>
+#include <types.h>
 
 void enable_lapic_mode(bool try_set_x2apic)
 {

src/cpu/x86/lapic/lapic_cpu_stop.c

@@ -4,6 +4,7 @@
 #include <cpu/x86/lapic.h>
 #include <delay.h>
 #include <halt.h>
+#include <stdint.h>
 
 /**
  * Sending INIT IPI to self is equivalent of asserting #INIT with a bit of

src/cpu/x86/mtrr/debug.c

@@ -2,6 +2,7 @@
 
 #include <console/console.h>
 #include <cpu/cpu.h>
+#include <cpu/x86/msr.h>
 #include <cpu/x86/mtrr.h>
 #include <stdint.h>
 

src/cpu/x86/mtrr/earlymtrr.c

@@ -5,7 +5,7 @@
 #include <cpu/x86/msr.h>
 #include <console/console.h>
 #include <commonlib/bsd/helpers.h>
-#include <stdint.h>
+#include <types.h>
 
 /* Get first available variable MTRR.
  * Returns var# if available, else returns -1.

src/cpu/x86/smi_trigger.c

@@ -3,6 +3,7 @@
 #include <arch/io.h>
 #include <console/console.h>
 #include <cpu/x86/smm.h>
+#include <stdint.h>
 
 static void apmc_log(const char *fn, u8 cmd)
 {

src/cpu/x86/smm/save_state.c

@@ -1,7 +1,9 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <cpu/x86/smm.h>
+#include <commonlib/bsd/helpers.h>
 #include <cpu/x86/save_state.h>
+#include <cpu/x86/smm.h>
+#include <types.h>
 
 /* These are weakly linked such that platforms can link only the save state
    ops they actually require. */

src/cpu/x86/smm/smm_module_handler.c

@@ -1,11 +1,14 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <arch/io.h>
+#include <commonlib/bsd/compiler.h>
+#include <commonlib/region.h>
 #include <console/cbmem_console.h>
 #include <console/console.h>
-#include <commonlib/region.h>
+#include <cpu/cpu.h>
 #include <cpu/x86/smm.h>
 #include <rmodule.h>
+#include <types.h>
 
 #if CONFIG(SPI_FLASH_SMM)
 #include <spi-generic.h>

src/cpu/x86/tsc/delay_tsc.c

@@ -3,6 +3,7 @@
 #include <arch/cpu.h>
 #include <cpu/x86/tsc.h>
 #include <delay.h>
+#include <stdint.h>
 #include <thread.h>
 
 void init_timer(void)