Comment 25 for bug 1602577

Kernel from #24 fails to boot with the following, and keeps looping. Unclear if it's due to a problem with our system or with the kernel. I've sought advice from someone more familiar with the hardware we're using and will update with any further info.

306 bytes read in 18 ms (16.6 KiB/s)
## Executing script at 4004000000
19403840 bytes read in 499 ms (37.1 MiB/s)
28340037 bytes read in 723 ms (37.4 MiB/s)
## Booting kernel from Legacy Image at 4002000000 ...
   Image Name: kernel 4.8.0-040800rc1-generic
   Created: 2016-08-11 4:06:14 UTC
   Image Type: ARM Linux Kernel Image (uncompressed)
   Data Size: 19403776 Bytes = 18.5 MiB
   Load Address: 00080000
   Entry Point: 00080000
   Verifying Checksum ... OK
## Loading init Ramdisk from Legacy Image at 4005000000 ...
   Image Name: ramdisk 4.8.0-040800rc1-generic
   Created: 2016-08-11 4:06:15 UTC
   Image Type: ARM Linux RAMDisk Image (gzip compressed)
   Data Size: 28339973 Bytes = 27 MiB
   Load Address: 00000000
   Entry Point: 00000000
   Verifying Checksum ... OK
ERROR: Did not find a cmdline Flattened Device Tree
Could not find a valid device tree