fix gnu-efi submodule not being listed