aarch64: add core okl4 hypervisor config

Adds the OKL4_GUEST config to the arm64 architecture, which
serves as a root selector to enable additional drivers for
running on the OKL4 hypervisor.

include/asm-generic/okl4_virq.h:
  A generic helper for OKL4 hypervisor aware drivers.

Change-Id: Ie89c5341cad762812485115bbe45c3bb4a1d7a15
Signed-off-by: Carl van Schaik <carl@cog.systems>
Git-commit: 936194027fc9abaacec9b253c0f3e468a3d51577
Git-repo: https://github.com/CogSystems/linux-msm.git
Signed-off-by: Minming Qi <mqi@codeaurora.org>
diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig
index 96ec05d..2d53e26 100644
--- a/arch/arm64/Kconfig
+++ b/arch/arm64/Kconfig
@@ -802,6 +802,13 @@
 	help
 	  Say Y if you want to run Linux in a Virtual Machine on Xen on ARM64.
 
+config OKL4_GUEST
+	bool "OKL4 Hypervisor guest support"
+	depends on ARM64 && OF
+	default n
+	help
+	  Say Y if you want to run Linux as a guest of the OKL4 hypervisor
+
 config FORCE_MAX_ZONEORDER
 	int
 	default "14" if (ARM64_64K_PAGES && TRANSPARENT_HUGEPAGE)