Package: kboot-utils

"kboot-utils" package binaries on Debian:

/usr/sbin/kboot-mkconfig /usr/sbin/update-kboot

You may install this package on Debian with apt-get install kboot-utils