efi: libstub: fix efi_load_initrd_dev_path() kernel-doc comment