diff --git a/tools/tools/tinderbox/etc/head.rc b/tools/tools/tinderbox/etc/head.rc
index 538410b9428..05ec7e62670 100644
--- a/tools/tools/tinderbox/etc/head.rc
+++ b/tools/tools/tinderbox/etc/head.rc
@@ -8,4 +8,5 @@ branches	= HEAD
 platforms	= alpha, amd64, i386/i386, i386/pc98, sparc64
 cflags		= -O2 -pipe
 coptflags	= %%CFLAGS%%
+targets		+= kernel:PAE
 recipient	= %%SENDER%%,<current@freebsd.org>,<%%arch%%@freebsd.org>