diff --git a/sys/arm/xscale/i80321/i80321_timer.c b/sys/arm/xscale/i80321/i80321_timer.c
index 4d91930b9a49..3e4840bf50b8 100644
--- a/sys/arm/xscale/i80321/i80321_timer.c
+++ b/sys/arm/xscale/i80321/i80321_timer.c
@@ -50,8 +50,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/bus.h>
 #include <sys/resource.h>
 #include <sys/rman.h>
-#include <sys/kernel.h>
-#include <sys/module.h>
 #include <sys/timetc.h>
 
 #include <machine/bus.h>