Re: [PATCH v2 0/8] efi_loader: improve device-tree loading