Index: head/sys/modules/bhnd/Makefile
===================================================================
--- head/sys/modules/bhnd/Makefile
+++ head/sys/modules/bhnd/Makefile
@@ -18,6 +18,7 @@
 
 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
Index: head/sys/modules/sdhci_acpi/Makefile
===================================================================
--- head/sys/modules/sdhci_acpi/Makefile
+++ head/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>
Index: head/sys/modules/sdhci_pci/Makefile
===================================================================
--- head/sys/modules/sdhci_pci/Makefile
+++ head/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>
Index: head/sys/modules/sgx/Makefile
===================================================================
--- head/sys/modules/sgx/Makefile
+++ head/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} \