--- zzzz-none-000/linux-2.6.39.4/drivers/Kconfig	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/drivers/Kconfig	2021-11-10 13:23:10.000000000 +0000
@@ -119,4 +119,6 @@
 source "drivers/clk/Kconfig"
 
 source "drivers/hwspinlock/Kconfig"
+
+source "drivers/avm-prom/Kconfig"
 endmenu