diff --git a/projects/RPi/devices/RPi4/options b/projects/RPi/devices/RPi4/options
index 23b4fbd44d..b608cec2c7 100644
--- a/projects/RPi/devices/RPi4/options
+++ b/projects/RPi/devices/RPi4/options
@@ -13,3 +13,14 @@
 
   # set the addon project
     ADDON_PROJECT="ARMv8"
+
+  # build 64bit kernel
+    case $TARGET_ARCH in
+      arm)
+        TARGET_KERNEL_ARCH="arm64"
+        TARGET_KERNEL_PATCH_ARCH="aarch64"
+        ;;
+    esac
+
+  # Kernel target
+    KERNEL_TARGET="Image"