Re: [PATCH v2 1/1] efi_loader: print device-tree in dtbdump.efi