diff --git a/sys/modules/bhnd/Makefile b/sys/modules/bhnd/Makefile
index eec24e9c778a..18e5ad4c2149 100644
--- a/sys/modules/bhnd/Makefile
+++ b/sys/modules/bhnd/Makefile
@@ -18,6 +18,7 @@ SRCS+=	chipc.c chipc_subr.c
 
 SRCS+=	chipc_gpio.c
 SRCS+=	gpio_if.h ofw_bus_if.h
+SRCS+=	opt_platform.h
 
 SRCS+=	bhnd_sprom_chipc.c \
 	bhnd_pmu_chipc.c
diff --git a/sys/modules/sdhci_acpi/Makefile b/sys/modules/sdhci_acpi/Makefile
index d3f2e406436b..6b197a98c43a 100644
--- a/sys/modules/sdhci_acpi/Makefile
+++ b/sys/modules/sdhci_acpi/Makefile
@@ -4,6 +4,7 @@
 
 KMOD=	sdhci_acpi
 SRCS=	sdhci_acpi.c sdhci.h sdhci_if.h
-SRCS+=	acpi_if.h device_if.h bus_if.h opt_acpi.h pci_if.h mmcbr_if.h
+SRCS+=	acpi_if.h device_if.h bus_if.h pci_if.h mmcbr_if.h
+SRCS+=	opt_acpi.h opt_mmccam.h
 
 .include <bsd.kmod.mk>
diff --git a/sys/modules/sdhci_pci/Makefile b/sys/modules/sdhci_pci/Makefile
index 1572e0ba63b1..79d1fd5c171f 100644
--- a/sys/modules/sdhci_pci/Makefile
+++ b/sys/modules/sdhci_pci/Makefile
@@ -4,5 +4,6 @@
 
 KMOD=	sdhci_pci
 SRCS=	sdhci_pci.c sdhci.h sdhci_if.h device_if.h bus_if.h pci_if.h mmcbr_if.h
+SRCS+=	opt_mmccam.h
 
 .include <bsd.kmod.mk>
diff --git a/sys/modules/sgx/Makefile b/sys/modules/sgx/Makefile
index ded3cf72069f..7184949ba0bc 100644
--- a/sys/modules/sgx/Makefile
+++ b/sys/modules/sgx/Makefile
@@ -4,6 +4,7 @@
 
 KMOD=	sgx
 SRCS=	sgx.c sgxvar.h assym.s sgx_support.S
+SRCS+=	opt_compat.h opt_hwpmc_hooks.h opt_kstack_pages.h
 
 sgx_support.o:  assym.s
 	${CC} -c -x assembler-with-cpp -DLOCORE ${CFLAGS} \