Re: [PATCH v2 2/5] boot: add a firmware-owned devicetree source

Hi Carlo,

[...]

> +
> +int efi_stage_firmware_fdt(ulong fdt_addr, ulong *fdt_sizep, char **namep)

Is this really limited to efi only? This seems a pretty generic way of
loading the DT that's defined somewhere in the firmware. So perhaps
remove the efi prefix? Or find a more suitable name for it.

[...]

Cheers
/Ilias