diff --git a/sys/arm/arm/elf_trampoline.c b/sys/arm/arm/elf_trampoline.c
index cc1f69c32cc8..5cfc0b31171b 100644
--- a/sys/arm/arm/elf_trampoline.c
+++ b/sys/arm/arm/elf_trampoline.c
@@ -25,9 +25,8 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 #include <machine/asm.h>
-#include <sys/types.h>
-#include <sys/elf32.h>
 #include <sys/param.h>
+#include <sys/elf32.h>
 #include <sys/inflate.h>
 #include <machine/elf.h>
 #include <machine/pte.h>