diff --git a/headers/private/kernel/boot/platform/efi/arch_smp.h b/headers/private/kernel/boot/platform/efi/arch_smp.h
index c7fb22d27a..d7ac6dd0b7 100644
--- a/headers/private/kernel/boot/platform/efi/arch_smp.h
+++ b/headers/private/kernel/boot/platform/efi/arch_smp.h
@@ -9,7 +9,7 @@
 #include <boot/menu.h>
 
 
-#if defined(__riscv) || defined(__ARM__) || defined(__ARM64__)
+#if defined(__riscv) || defined(__ARM__) || defined(__aarch64__)
 // These platforms take inventory of cpu cores from fdt
 
 struct platform_cpu_info {