Re: [opensuse-arm] EFI boot device-tree