Re: DTE: UEFI protocol for device-tree fix-ups