systemd's sd-boot: devicetree command using EFI_DT_FIXUP_PROTOCOL