Comment 4 for bug 1067784

Tested. On ARM Versatile Express A9 board with Linaro Android image:

https://android-build.linaro.org/builds/~linaro-android/vexpress-linaro-mp/#build=274

Device Tree works well after UEFI upgraded:

root@android:/ # cd /proc/device-tree
root@android:/proc/device-tree # ls
#address-cells
#size-cells
aliases
arm,hbi
arm,vexpress,site
cache-controller@1e00a000
chosen
clcd@10020000
compatible
cpus
dcc
interrupt-controller@1e001000
interrupt-parent
memory-controller@100e0000
memory-controller@100e1000
memory@60000000
model
name
panels
pmu
scu@1e000000
smb
timer@100e4000
timer@1e000600
watchdog@100e5000
watchdog@1e000620
root@android:/proc/device-tree #