--- zzzz-none-000/linux-4.9.276/drivers/base/Makefile	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/drivers/base/Makefile	2023-04-05 08:19:00.000000000 +0000
@@ -23,6 +23,9 @@
 obj-$(CONFIG_PINCTRL) += pinctrl.o
 obj-$(CONFIG_DEV_COREDUMP) += devcoredump.o
 obj-$(CONFIG_GENERIC_MSI_IRQ_DOMAIN) += platform-msi.o
+ifeq ($(CONFIG_LTQ_ICC),y)
+obj-$(CONFIG_SOC_PRX300_BOOTCORE) += tep-sec.o
+endif
 
 ccflags-$(CONFIG_DEBUG_DRIVER) := -DDEBUG