--- zzzz-none-000/linux-4.9.279/drivers/Kconfig 2021-08-08 06:38:54.000000000 +0000 +++ puma7-arm-6591-750/linux-4.9.279/drivers/Kconfig 2023-02-08 10:58:12.000000000 +0000 @@ -202,4 +202,10 @@ source "drivers/fpga/Kconfig" +source "drivers/mrpc/Kconfig" + +source "drivers/avm-prom/Kconfig" + +source "drivers/avm-hw-config/Kconfig" + endmenu