K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2018-03-28T16:51:05.595045Z
K 7
svn:log
V 220
Expand remaining instances of 'make kernel' to buildkernel + installkernel.

The 'kernel' target is a bit more obscure compared to buildkernel and
installkernel.  One instance was already expanded previously in r325097.

END