diff --git a/Documentation/Intel/SoC/soc.html b/Documentation/Intel/SoC/soc.html
index 6b1bb30740..53131c6e6f 100644
--- a/Documentation/Intel/SoC/soc.html
+++ b/Documentation/Intel/SoC/soc.html
@@ -657,7 +657,7 @@ Use the following steps to debug the call to TempRamInit:
The EDK2 data structure is defined in
MdeModulePkg/Include/IndustryStandard/Acpi61.h
The coreboot data structure is defined in
- src/arch/x86/include/arch/acpi.h
+ src/arch/x86/include/arch/acpi.h
diff --git a/Documentation/acpi/devicetree.md b/Documentation/acpi/devicetree.md
index 556c9668f6..c3c4c2e402 100644
--- a/Documentation/acpi/devicetree.md
+++ b/Documentation/acpi/devicetree.md
@@ -157,7 +157,7 @@ Note that the ACPI_IRQ_WAKE_EDGE_LOW macro informs the platform that the GPIO
will be routed through SCI (ACPI's System Control Interrupt) for use as a wake
source. Also note that the IRQ names are SoC-specific, and you will need to
find the names in your SoC's header file. The ACPI_* macros are defined in
-``src/arch/x86/include/arch/acpi_device.h``.
+``src/arch/x86/include/acpi/acpi_device.h``.
Using a GPIO as an IRQ requires that it is configured in coreboot correctly.
This is often done in a mainboard-specific file named ``gpio.c``.
diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index 8e7b51d79d..d5b2c6b274 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -16,9 +16,9 @@
#include
#include
-#include
-#include
-#include
+#include
+#include
+#include
#include
#include
#include
diff --git a/src/acpi/acpi_device.c b/src/acpi/acpi_device.c
index 9f63200121..6b067f3a0f 100644
--- a/src/acpi/acpi_device.c
+++ b/src/acpi/acpi_device.c
@@ -3,9 +3,9 @@
#include
#include
-#include
-#include
-#include
+#include
+#include
+#include
#include
#include
#include
diff --git a/src/acpi/acpi_pld.c b/src/acpi/acpi_pld.c
index 135009a243..a2d0dd7fe7 100644
--- a/src/acpi/acpi_pld.c
+++ b/src/acpi/acpi_pld.c
@@ -3,8 +3,8 @@
#include
#include
-#include
-#include
+#include
+#include
int acpi_pld_fill_usb(struct acpi_pld *pld, enum acpi_upc_type type,
struct acpi_pld_group *group)
diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index dfc2a5adf4..a2dc84f799 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -13,7 +13,7 @@
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/acpi/acpigen_dsm.c b/src/acpi/acpigen_dsm.c
index ecac3fefb8..b7b2a0bf18 100644
--- a/src/acpi/acpigen_dsm.c
+++ b/src/acpi/acpigen_dsm.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
-#include
+#include
+#include
/* ------------------- I2C HID DSM ---------------------------- */
diff --git a/src/acpi/acpigen_ps2_keybd.c b/src/acpi/acpigen_ps2_keybd.c
index 7943f9a158..be8d2eb999 100644
--- a/src/acpi/acpigen_ps2_keybd.c
+++ b/src/acpi/acpigen_ps2_keybd.c
@@ -4,9 +4,9 @@
* SPDX-License-Identifier: GPL-2.0-or-later
*/
-#include
-#include
-#include
+#include
+#include
+#include
#include
#include
diff --git a/src/acpi/sata.c b/src/acpi/sata.c
index f2b381124e..f2f53e6f64 100644
--- a/src/acpi/sata.c
+++ b/src/acpi/sata.c
@@ -3,8 +3,8 @@
#include "sata.h"
-#include
-#include
+#include
+#include
/* e.g.
* generate_sata_ssdt_ports("\_SB.PCI0.SATA", 0x3);
diff --git a/src/arch/x86/acpi/debug.asl b/src/arch/x86/acpi/debug.asl
index cde807c17f..2c1d2ce471 100644
--- a/src/arch/x86/acpi/debug.asl
+++ b/src/arch/x86/acpi/debug.asl
@@ -2,7 +2,7 @@
/* This file is part of the coreboot project. */
/*
- #include
+ #include
DefinitionBlock (
"DSDT.AML",
"DSDT",
diff --git a/src/arch/x86/acpi_bert_storage.c b/src/arch/x86/acpi_bert_storage.c
index a7061fa7c5..c5f98f7ea8 100644
--- a/src/arch/x86/acpi_bert_storage.c
+++ b/src/arch/x86/acpi_bert_storage.c
@@ -7,7 +7,7 @@
#include
#include
#include
-#include
+#include
#include
#include
diff --git a/src/arch/x86/acpi_s3.c b/src/arch/x86/acpi_s3.c
index bf17980020..39e3a056cd 100644
--- a/src/arch/x86/acpi_s3.c
+++ b/src/arch/x86/acpi_s3.c
@@ -3,7 +3,7 @@
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/arch/x86/ebda.c b/src/arch/x86/ebda.c
index 4ac1359faa..99aa2d3f16 100644
--- a/src/arch/x86/ebda.c
+++ b/src/arch/x86/ebda.c
@@ -2,7 +2,7 @@
/* This file is part of the coreboot project. */
#include
-#include
+#include
#include
#include
#include
diff --git a/src/arch/x86/include/arch/bert_storage.h b/src/arch/x86/include/arch/bert_storage.h
index 3e7b0b560c..d088f02ee9 100644
--- a/src/arch/x86/include/arch/bert_storage.h
+++ b/src/arch/x86/include/arch/bert_storage.h
@@ -5,7 +5,7 @@
#define _BERT_STORAGE_H_
#include
-#include
+#include
/* Items in the BERT region
*
diff --git a/src/arch/x86/tables.c b/src/arch/x86/tables.c
index 7e653f7245..3affd75761 100644
--- a/src/arch/x86/tables.c
+++ b/src/arch/x86/tables.c
@@ -8,7 +8,7 @@
#include
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/amd/agesa/family14/model_14_init.c b/src/cpu/amd/agesa/family14/model_14_init.c
index c8a5a6298d..4bee724f16 100644
--- a/src/cpu/amd/agesa/family14/model_14_init.c
+++ b/src/cpu/amd/agesa/family14/model_14_init.c
@@ -11,7 +11,7 @@
#include
#include
#include
-#include
+#include
#include
static void model_14_init(struct device *dev)
diff --git a/src/cpu/amd/agesa/family15tn/model_15_init.c b/src/cpu/amd/agesa/family15tn/model_15_init.c
index 7279e8a358..f731990bed 100644
--- a/src/cpu/amd/agesa/family15tn/model_15_init.c
+++ b/src/cpu/amd/agesa/family15tn/model_15_init.c
@@ -12,7 +12,7 @@
#include
#include
#include
-#include
+#include
#include
static void model_15_init(struct device *dev)
diff --git a/src/cpu/amd/agesa/family16kb/model_16_init.c b/src/cpu/amd/agesa/family16kb/model_16_init.c
index 67ce592523..e92e870d3a 100644
--- a/src/cpu/amd/agesa/family16kb/model_16_init.c
+++ b/src/cpu/amd/agesa/family16kb/model_16_init.c
@@ -11,7 +11,7 @@
#include
#include
#include
-#include
+#include
#include
static void model_16_init(struct device *dev)
diff --git a/src/cpu/intel/common/common_init.c b/src/cpu/intel/common/common_init.c
index 0147a01447..c4ef6263f2 100644
--- a/src/cpu/intel/common/common_init.c
+++ b/src/cpu/intel/common/common_init.c
@@ -1,7 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/haswell/acpi.c b/src/cpu/intel/haswell/acpi.c
index b3cc1e0d5b..423146176e 100644
--- a/src/cpu/intel/haswell/acpi.c
+++ b/src/cpu/intel/haswell/acpi.c
@@ -3,8 +3,8 @@
#include
#include
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/haswell/haswell_init.c b/src/cpu/intel/haswell/haswell_init.c
index 82c28bfc22..c89bb830b3 100644
--- a/src/cpu/intel/haswell/haswell_init.c
+++ b/src/cpu/intel/haswell/haswell_init.c
@@ -3,7 +3,7 @@
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/model_2065x/acpi.c b/src/cpu/intel/model_2065x/acpi.c
index a45f021ccb..692cc8036f 100644
--- a/src/cpu/intel/model_2065x/acpi.c
+++ b/src/cpu/intel/model_2065x/acpi.c
@@ -3,8 +3,8 @@
#include
#include
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/model_2065x/model_2065x_init.c b/src/cpu/intel/model_2065x/model_2065x_init.c
index a642afdfd4..d856b3bac7 100644
--- a/src/cpu/intel/model_2065x/model_2065x_init.c
+++ b/src/cpu/intel/model_2065x/model_2065x_init.c
@@ -4,7 +4,7 @@
#include
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/model_206ax/acpi.c b/src/cpu/intel/model_206ax/acpi.c
index d668f45f23..043e7facfe 100644
--- a/src/cpu/intel/model_206ax/acpi.c
+++ b/src/cpu/intel/model_206ax/acpi.c
@@ -3,8 +3,8 @@
#include
#include
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/model_206ax/model_206ax_init.c b/src/cpu/intel/model_206ax/model_206ax_init.c
index 4dfdc349b3..fabb6ba18b 100644
--- a/src/cpu/intel/model_206ax/model_206ax_init.c
+++ b/src/cpu/intel/model_206ax/model_206ax_init.c
@@ -3,7 +3,7 @@
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/intel/speedstep/acpi.c b/src/cpu/intel/speedstep/acpi.c
index 1d33640c8b..eead460460 100644
--- a/src/cpu/intel/speedstep/acpi.c
+++ b/src/cpu/intel/speedstep/acpi.c
@@ -3,8 +3,8 @@
#include
#include
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/cpu/x86/backup_default_smm.c b/src/cpu/x86/backup_default_smm.c
index 96650d608d..1875c3dc37 100644
--- a/src/cpu/x86/backup_default_smm.c
+++ b/src/cpu/x86/backup_default_smm.c
@@ -2,7 +2,7 @@
/* This file is part of the coreboot project. */
#include
-#include
+#include
#include
#include
#include
diff --git a/src/cpu/x86/lapic/lapic_cpu_init.c b/src/cpu/x86/lapic/lapic_cpu_init.c
index 6726f213d4..2c6960d9b6 100644
--- a/src/cpu/x86/lapic/lapic_cpu_init.c
+++ b/src/cpu/x86/lapic/lapic_cpu_init.c
@@ -5,7 +5,7 @@
#include
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index 02cb5addfb..6fce761a72 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -6,7 +6,7 @@
* PCI Bus Services, see include/linux/pci.h for further explanation.
*/
-#include
+#include
#include
#include
#include
diff --git a/src/device/pci_rom.c b/src/device/pci_rom.c
index 4fec2906d6..08bfec8178 100644
--- a/src/device/pci_rom.c
+++ b/src/device/pci_rom.c
@@ -10,7 +10,7 @@
#include
#include
#include
-#include
+#include
/* Rmodules don't like weak symbols. */
void __weak map_oprom_vendev_rev(u32 *vendev, u8 *rev) { return; }
diff --git a/src/drivers/amd/agesa/heapmanager.c b/src/drivers/amd/agesa/heapmanager.c
index 85f203c506..ea8abb52a5 100644
--- a/src/drivers/amd/agesa/heapmanager.c
+++ b/src/drivers/amd/agesa/heapmanager.c
@@ -9,7 +9,7 @@
#include
#include
-#include
+#include
#include
#include
diff --git a/src/drivers/amd/agesa/romstage.c b/src/drivers/amd/agesa/romstage.c
index 6c90ac2a12..3652f8f80d 100644
--- a/src/drivers/amd/agesa/romstage.c
+++ b/src/drivers/amd/agesa/romstage.c
@@ -2,7 +2,7 @@
/* This file is part of the coreboot project. */
#include
-#include
+#include
#include
#include
#include
diff --git a/src/drivers/amd/agesa/state_machine.c b/src/drivers/amd/agesa/state_machine.c
index a0d775295c..f9bf1fe2a9 100644
--- a/src/drivers/amd/agesa/state_machine.c
+++ b/src/drivers/amd/agesa/state_machine.c
@@ -3,7 +3,7 @@
#include
#include
-#include
+#include
#include
#include
#include
diff --git a/src/drivers/crb/tis.c b/src/drivers/crb/tis.c
index 0e97a07848..d34091121b 100644
--- a/src/drivers/crb/tis.c
+++ b/src/drivers/crb/tis.c
@@ -3,7 +3,7 @@
#include
#include
-#include
+#include
#include
#include
diff --git a/src/drivers/elog/elog.c b/src/drivers/elog/elog.c
index ab86f387cc..3bc52dd70d 100644
--- a/src/drivers/elog/elog.c
+++ b/src/drivers/elog/elog.c
@@ -2,7 +2,7 @@
/* This file is part of the coreboot project. */
#if CONFIG(HAVE_ACPI_RESUME)
-#include
+#include
#endif
#include
#include
diff --git a/src/drivers/generic/adau7002/adau7002.c b/src/drivers/generic/adau7002/adau7002.c
index bf2f03de04..ddf6b7a93e 100644
--- a/src/drivers/generic/adau7002/adau7002.c
+++ b/src/drivers/generic/adau7002/adau7002.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/drivers/generic/bayhub/chip.h b/src/drivers/generic/bayhub/chip.h
index 3a7b21d3e9..e4535b24c2 100644
--- a/src/drivers/generic/bayhub/chip.h
+++ b/src/drivers/generic/bayhub/chip.h
@@ -1,7 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
+#include
/*
* Bayhub BG720 PCI to eMMC bridge
diff --git a/src/drivers/generic/generic/chip.h b/src/drivers/generic/generic/chip.h
index 41b5f461db..47b83a740e 100644
--- a/src/drivers/generic/generic/chip.h
+++ b/src/drivers/generic/generic/chip.h
@@ -6,7 +6,7 @@
#if CONFIG(HAVE_ACPI_TABLES)
-#include
+#include
#define MAX_GENERIC_PROPERTY_LIST 10
diff --git a/src/drivers/generic/generic/generic.c b/src/drivers/generic/generic/generic.c
index eed824d375..00b9dda02c 100644
--- a/src/drivers/generic/generic/generic.c
+++ b/src/drivers/generic/generic/generic.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/drivers/generic/gpio_keys/chip.h b/src/drivers/generic/gpio_keys/chip.h
index 9836abac60..e0ba3752d9 100644
--- a/src/drivers/generic/gpio_keys/chip.h
+++ b/src/drivers/generic/gpio_keys/chip.h
@@ -4,7 +4,7 @@
#ifndef __DRIVERS_GENERIC_GPIO_KEYS_H__
#define __DRIVERS_GENERIC_GPIO_KEYS_H__
-#include
+#include
#include
/* Linux input type */
diff --git a/src/drivers/generic/gpio_keys/gpio_keys.c b/src/drivers/generic/gpio_keys/gpio_keys.c
index 1017f7a69f..732f02ad28 100644
--- a/src/drivers/generic/gpio_keys/gpio_keys.c
+++ b/src/drivers/generic/gpio_keys/gpio_keys.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
-#include
+#include
+#include
#include
#include
#include
diff --git a/src/drivers/generic/gpio_regulator/chip.h b/src/drivers/generic/gpio_regulator/chip.h
index 8ae02ae3c2..f3d1d0f86a 100644
--- a/src/drivers/generic/gpio_regulator/chip.h
+++ b/src/drivers/generic/gpio_regulator/chip.h
@@ -4,7 +4,7 @@
#ifndef __DRIVERS_GENERIC_GPIO_REGULATOR_H__
#define __DRIVERS_GENERIC_GPIO_REGULATOR_H__
-#include
+#include
struct drivers_generic_gpio_regulator_config {
const char *name;
diff --git a/src/drivers/generic/gpio_regulator/gpio_regulator.c b/src/drivers/generic/gpio_regulator/gpio_regulator.c
index 0ec1626da8..4eedb8bd7b 100644
--- a/src/drivers/generic/gpio_regulator/gpio_regulator.c
+++ b/src/drivers/generic/gpio_regulator/gpio_regulator.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
-#include
-#include
+#include
+#include
#include