does something useful. The target can be redefined by putting a install-kernel-${MACHINE_NAME} target that fits your needs into /etc/mk.conf.