grub/grub-core/modinfo.sh.in