Package: grub-choose-default

"grub-choose-default" package binaries on Debian:

/usr/sbin/grub-choose-default

You may install this package on Debian with apt-get install grub-choose-default