[opensuse-arm] ARM-EFI: Where is the device-tree?