Re: [RFC 10/14] efi_loader: load device-tree specified in boot option