[PATCH 2/2] efi_loader: set load options in boot manager