--- zzzz-none-000/linux-4.4.60/arch/arm64/Kconfig	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/arch/arm64/Kconfig	2018-11-08 13:36:17.000000000 +0000
@@ -92,6 +92,7 @@
 	select SPARSE_IRQ
 	select SYSCTL_EXCEPTION_TRACE
 	select HAVE_CONTEXT_TRACKING
+	select HAVE_ARM_SMCCC
 	help
 	  ARM 64-bit (AArch64) Linux support.