--- zzzz-none-000/linux-4.9.279/drivers/Makefile	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/drivers/Makefile	2023-02-08 10:58:12.000000000 +0000
@@ -175,3 +175,8 @@
 obj-$(CONFIG_ANDROID)		+= android/
 obj-$(CONFIG_NVMEM)		+= nvmem/
 obj-$(CONFIG_FPGA)		+= fpga/
+obj-$(CONFIG_MRPC)		+= mrpc/
+
+# AVM extensions
+obj-$(CONFIG_AVM_PROM_ENVIRONMENT) += avm-prom/
+obj-$(CONFIG_AVM_HW_CONFIG)	+= avm-hw-config/