$NetBSD: patch-arch_arm_cpu_armv8_Kconfig,v 1.1 2017/09/09 23:21:29 jmcneill Exp $

--- arch/arm/cpu/armv8/Kconfig.orig	2017-07-10 17:07:38.000000000 +0000
+++ arch/arm/cpu/armv8/Kconfig
@@ -130,6 +130,10 @@ config ARMV8_PSCI_CPUS_PER_CLUSTER
 	  A value 0 or no definition of it works for single cluster system.
 	  System with multi-cluster should difine their own exact value.
 
+config ARMV8_SWITCH_TO_EL1
+	bool "Switch to EL1 before booting kernel"
+	default n
+
 if SYS_HAS_ARMV8_SECURE_BASE
 
 config ARMV8_SECURE_BASE