--- zzzz-none-000/linux-4.9.231/kernel/Makefile	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/kernel/Makefile	2022-08-31 08:19:49.000000000 +0000
@@ -102,6 +102,7 @@
 obj-$(CONFIG_IRQ_WORK) += irq_work.o
 obj-$(CONFIG_CPU_PM) += cpu_pm.o
 obj-$(CONFIG_BPF) += bpf/
+obj-$(CONFIG_AVM_PROM_ENVIRONMENT) += env.o
 
 obj-$(CONFIG_PERF_EVENTS) += events/
 
@@ -114,6 +115,7 @@
 obj-$(CONFIG_MEMBARRIER) += membarrier.o
 
 obj-$(CONFIG_HAS_IOMEM) += memremap.o
+obj-$(CONFIG_CRASHLOG) += crashlog.o
 
 $(obj)/configs.o: $(obj)/config_data.h