diff --git a/src/acpi/acpigen_dptf.c b/src/acpi/acpigen_dptf.c
index b3cc37a256..3877daa88b 100644
--- a/src/acpi/acpigen_dptf.c
+++ b/src/acpi/acpigen_dptf.c
@@ -2,6 +2,8 @@
 
 #include <acpi/acpigen.h>
 #include <acpi/acpigen_dptf.h>
+#include <stdbool.h>
+#include <stdint.h>
 
 /* Defaults */
 #define DEFAULT_RAW_UNIT		"ma"
diff --git a/src/acpi/acpigen_ps2_keybd.c b/src/acpi/acpigen_ps2_keybd.c
index b14bbd2d2b..be20220e31 100644
--- a/src/acpi/acpigen_ps2_keybd.c
+++ b/src/acpi/acpigen_ps2_keybd.c
@@ -5,6 +5,8 @@
 #include <acpi/acpigen_ps2_keybd.h>
 #include <console/console.h>
 #include <input-event-codes.h>
+#include <stdbool.h>
+#include <stdint.h>
 
 #define KEYMAP(scancode, keycode) (((uint32_t)(scancode) << 16) | (keycode & 0xFFFF))
 #define SCANCODE(keymap) ((keymap >> 16) & 0xFFFF)