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.