Re: [PATCH 1/1] efi_loader: print file path w/o boot device