ok ho risolto.

il problema è il kernel di Debian 9, che era settato alla versione 3.2 invece che alla 4.9.
mi è bastato installare GRUB2 invece di GRUB per risolvere il problema.

ciao!