Re: [PATCH v2 4/8] efi_loader: load device-tree specified in boot option