Index: Makefile.inc1
===================================================================
--- Makefile.inc1
+++ Makefile.inc1
@@ -1363,7 +1363,8 @@
 # they're doing.  This means the check can be disabled for the running system
 # using DESTDIR=/.
 #
-.if !make(distributeworld) && !defined(DESTDIR)
+.if !make(distributeworld) && !defined(DESTDIR) && \
+    ${INSTKERNNAME:Ukernel} == kernel
 _installcheck_world: __installcheck_PKG
 _installcheck_kernel: __installcheck_PKG
 __installcheck_PKG: .PHONY