Index: head/sys/modules/gpio/gpiospi/Makefile
===================================================================
--- head/sys/modules/gpio/gpiospi/Makefile
+++ head/sys/modules/gpio/gpiospi/Makefile
@@ -34,7 +34,7 @@
 KMOD=	gpiospi
 SRCS=	gpiospi.c
 SRCS+=	device_if.h bus_if.h gpio_if.h gpiobus_if.h spibus_if.h
-SRCS+=	ofw_bus_if.h opt_gpio.h
+SRCS+=	ofw_bus_if.h opt_gpio.h opt_platform.h
 
 CFLAGS+=  -I. -I${.CURDIR}/../../../dev/gpio/