diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake
index 5731cb6c..a99fca98 100644
--- a/cmake-tool/helpers/application_settings.cmake
+++ b/cmake-tool/helpers/application_settings.cmake
@@ -51,6 +51,9 @@ function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch)
         set(IMAGE_START_ADDR 0x80400000 CACHE INTERNAL "" FORCE)
     endif()
     if(KernelPlatformRpi4)
+        if(KernelSel4ArchAarch32)
+            set(ElfloaderArmV8LeaveAarch64 ON CACHE BOOL "" FORCE)
+        endif()
         set(IMAGE_START_ADDR 0x10000000 CACHE INTERNAL "" FORCE)
     endif()
 endfunction()