Comment 2 for bug 1192548

Double checked this boot failure on STE Snowball with Linaro Android image:

https://android-build.linaro.org/builds/~linaro-android-member-ste/snowball-linaro-jb/#build=332

Different boot log observed. There seems be something wrong about Device Tree:

reading board.dtb
** Unable to read file board.dtb **
## Booting kernel from Legacy Image at 00100000 ...
   Image Name: Linux-3.4.0+
   Image Type: ARM Linux Kernel Image (uncompressed)
   Data Size: 4644688 Bytes = 4.4 MiB
   Load Address: 00008000
   Entry Point: 00008000
## Loading init Ramdisk from Legacy Image at 05000000 ...
   Image Name: Android Ramdisk Image
   Image Type: ARM Linux RAMDisk Image (gzip compressed)
   Data Size: 242796 Bytes = 237.1 KiB
   Load Address: 00000000
   Entry Point: 00000000
ERROR: Did not find a cmdline Flattened Device Tree
Could not find a valid device tree

Please refer to attachment to get full boot log.