4bad6d0
don't list grub-mkconfig_lib twice /usr/share/grub/ was also listed an extra time if efi was disabled.