I can confirm this bug. Furthermore the script fails with: /usr/sbin/grub-mkconfig: 300: /etc/grub.d/25_bli: not found
I think this is because there no path in the script and "insmod bli" fails to find bli.mod. At this point grub.cfg is interrupted. GLG