diff --git a/src/cpu/intel/hyperthreading/intel_sibling.c b/src/cpu/intel/hyperthreading/intel_sibling.c
index 93d29d4d29..9fde031418 100644
--- a/src/cpu/intel/hyperthreading/intel_sibling.c
+++ b/src/cpu/intel/hyperthreading/intel_sibling.c
@@ -1,10 +1,10 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <arch/cpu.h>
 #include <console/console.h>
 #include <cpu/intel/hyperthreading.h>
 #include <device/device.h>
 #include <option.h>
-#include <smp/spinlock.h>
 
 /* Intel hyper-threading requires serialized CPU init. */