diff --git a/boot/CMakeLists.txt b/boot/CMakeLists.txt
index fbc839db4b0..602b8600361 100644
--- a/boot/CMakeLists.txt
+++ b/boot/CMakeLists.txt
@@ -9,7 +9,7 @@ elseif(ARCH STREQUAL "ia64")
     set(EFI_PLATFORM_ID "ia64")
 elseif(ARCH STREQUAL "arm")
     set(EFI_PLATFORM_ID "arm")
-elseif(ARCH STREQUAL "aarch64")
+elseif(ARCH STREQUAL "arm64")
     set(EFI_PLATFORM_ID "aa64")
 else()
     message(FATAL_ERROR "Unknown ARCH '" ${ARCH} "', cannot generate a valid UEFI boot filename.")