--- zzzz-none-000/linux-4.9.231/drivers/firmware/Kconfig	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/drivers/firmware/Kconfig	2022-08-31 08:19:48.000000000 +0000
@@ -207,6 +207,7 @@
 config HAVE_ARM_SMCCC
 	bool
 
+source "drivers/firmware/avm/Kconfig"
 source "drivers/firmware/broadcom/Kconfig"
 source "drivers/firmware/google/Kconfig"
 source "drivers/firmware/efi/Kconfig"