Re: [PATCH] efi_loader: fix efi_bootmgr_enumerate_boot_option