diff --git a/kernel/include/kernel/ACPI/Headers.h b/kernel/include/kernel/ACPI/Headers.h
index cf05cbb948..5970297e3b 100644
--- a/kernel/include/kernel/ACPI/Headers.h
+++ b/kernel/include/kernel/ACPI/Headers.h
@@ -1,6 +1,6 @@
 #pragma once
 
-#include <stdint.h>
+#include <BAN/Optional.h>
 
 namespace Kernel::ACPI
 {