Index: sys/conf/files.arm64
===================================================================
--- sys/conf/files.arm64
+++ sys/conf/files.arm64
@@ -225,6 +225,10 @@
 dev/ipmi/ipmi_acpi.c				optional ipmi acpi
 dev/ipmi/ipmi_kcs.c				optional ipmi
 dev/ipmi/ipmi_smic.c				optional ipmi
+dev/ipmi/ipmi_smbus.c				optional ipmi smbus
+dev/ipmi/ipmi_smbios.c				optional ipmi
+dev/ipmi/ipmi_ssif.c				optional ipmi smbus
+dev/ipmi/ipmi_pci.c				optional ipmi pci
 
 dev/mbox/mbox_if.m				optional soc_brcm_bcm2837
 
Index: sys/modules/ipmi/Makefile
===================================================================
--- sys/modules/ipmi/Makefile
+++ sys/modules/ipmi/Makefile
@@ -14,12 +14,17 @@
 SRCS+=	ipmi_acpi.c
 SRCS+=	opt_acpi.h
 SRCS+=	acpi_if.h
+SRCS+=	ipmi_smbios.c
+SRCS+=	ipmi_ssif.c
+SRCS+=	ipmi_pci.c
+SRCS+=	ipmi_smbus.c
+SRCS+=	pci_if.h
+SRCS+=	smbus_if.h
 .endif
 
 .if ${MACHINE_CPUARCH} == "i386" || ${MACHINE_CPUARCH} == "amd64"
-SRCS+=	ipmi_smbios.c ipmi_ssif.c
-SRCS+=	ipmi_isa.c ipmi_pci.c ipmi_smbus.c
-SRCS+=	isa_if.h pci_if.h smbus_if.h
+SRCS+=	ipmi_isa.c
+SRCS+=	isa_if.h
 
 SUBDIR+= ipmi_linux