diff --git a/utils/genrandconfig b/utils/genrandconfig
index 6ec398851a..2b0baedf31 100755
--- a/utils/genrandconfig
+++ b/utils/genrandconfig
@@ -492,6 +492,10 @@ def fixup_config(sysinfo, configfile):
         configlines.remove('BR2_TARGET_BAREBOX_USE_DEFCONFIG=y\n')
         configlines.remove('BR2_TARGET_BAREBOX_BOARD_DEFCONFIG=""\n')
 
+    if 'BR2_TARGET_BOOT_WRAPPER_AARCH64=y\n' in configlines and \
+       'BR2_TARGET_BOOT_WRAPPER_AARCH64_DTS=""\n' in configlines:
+        return False
+
     if 'BR2_TARGET_LPC32XXCDL=y\n' in configlines and \
        'BR2_TARGET_LPC32XXCDL_BOARDNAME=""\n' in configlines:
         return False