@elly The biggest mistake about the DeviceTree spec as it currently stands is that it's part of the Linux kernel project. That screwed it over. And DT effectively requires full reverse engineering to support a device. That's way worse than what we have to do for ACPI. ASL/AML isn't *fun* by any means, but at least ACPI *forces* the hardware vendor to be responsible for preboot initialization.
Google announced the move to UEFI at LPC last year. It's the "Generic Bootloader" in Android parlance.