How to remove grub-choose-default from Debian 9 (Stretch)