diff --git a/src/arch/x86/boot.c b/src/arch/x86/boot.c
index 31e7cee4dc..c50ec0e1f1 100644
--- a/src/arch/x86/boot.c
+++ b/src/arch/x86/boot.c
@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <arch/boot/boot.h>
+#include <arch/cpu.h>
 #include <commonlib/helpers.h>
 #include <console/console.h>
 #include <program_loading.h>