@wolph's work-around isn't working for me. Where in the top of grub.cfg is that insmod supposed to go? And, any way to get it into /etc/default/grub.d?
@wolph's work-around isn't working for me. Where in the top of grub.cfg is that insmod supposed to go? And, any way to get it into /etc/default/ grub.d?