diff --git a/Makefile.inc1 b/Makefile.inc1
index 249cd5be2dd0..084df6bea549 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1133,6 +1133,8 @@ buildkernel: .MAKE .PHONY
 	@echo "--------------------------------------------------------------"
 .endfor
 
+NO_INSTALLEXTRAKERNELS?=		no
+
 #
 # installkernel, etc.
 #