diff --git a/.cirrus.yml b/.cirrus.yml
index 13719a3e2058..45c31c9f07b2 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -4,7 +4,7 @@ compute_engine_instance:
   # gcloud compute images list --project freebsd-org-cloud-dev --no-standard-images
   platform: freebsd
   image_project: freebsd-org-cloud-dev
-  image: freebsd-13-2-release-amd64
+  image: freebsd-13-3-release-amd64
   cpu: 8
   memory: 8G
   disk: 40
diff --git a/sys/compat/linuxkpi/common/include/linux/lockdep.h b/sys/compat/linuxkpi/common/include/linux/lockdep.h
index 70a4e45867fe..93fe445f7057 100644
--- a/sys/compat/linuxkpi/common/include/linux/lockdep.h
+++ b/sys/compat/linuxkpi/common/include/linux/lockdep.h
@@ -30,6 +30,7 @@
 #ifndef _LINUXKPI_LINUX_LOCKDEP_H_
 #define	_LINUXKPI_LINUX_LOCKDEP_H_
 
+#include <sys/systm.h>
 #include <sys/types.h>
 #include <sys/lock.h>
 
diff --git a/sys/modules/gpio/gpioaei/Makefile b/sys/modules/gpio/gpioaei/Makefile
index 514dcd80a35e..8f856af48eb7 100644
--- a/sys/modules/gpio/gpioaei/Makefile
+++ b/sys/modules/gpio/gpioaei/Makefile
@@ -4,6 +4,7 @@ KMOD=	gpioaei
 SRCS=	gpioaei.c
 
 SRCS+=	\
+	acpi_if.h \
 	bus_if.h \
 	device_if.h \
 	gpio_if.h \