kernel: add missing config symbol

This symbol is exposed on ARM64 with EFI enabled in the kernel config.
Currently this happens only on ipq807x, but as there might be new ARM64
targets with EFI in the future it is better to add the symbol to the
generic config.

Signed-off-by: Stijn Tintel <[email protected]>
Acked-by: Jo-Philipp Wich <[email protected]>

target/linux/generic/config-4.14

@@ -1009,6 +1009,7 @@ CONFIG_CRYPTO_PCRYPT=y
 # CONFIG_DEBUG_CREDENTIALS is not set
 # CONFIG_DEBUG_DEVRES is not set
 # CONFIG_DEBUG_DRIVER is not set
+# CONFIG_DEBUG_EFI is not set
 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
 CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_GPIO is not set

target/linux/generic/config-4.19

@@ -1067,6 +1067,7 @@ CONFIG_CRYPTO_PCRYPT=y
 # CONFIG_DEBUG_CREDENTIALS is not set
 # CONFIG_DEBUG_DEVRES is not set
 # CONFIG_DEBUG_DRIVER is not set
+# CONFIG_DEBUG_EFI is not set
 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
 CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_GPIO is not set

target/linux/generic/config-5.4

@@ -1139,6 +1139,7 @@ CONFIG_CRYPTO_PCRYPT=y
 # CONFIG_DEBUG_CREDENTIALS is not set
 # CONFIG_DEBUG_DEVRES is not set
 # CONFIG_DEBUG_DRIVER is not set
+# CONFIG_DEBUG_EFI is not set
 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
 CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_GPIO is not set