Comment 2 for bug 1636838

@p-pisati hey, i think you are correct, this is what I get:

U-Boot 2016.01+dfsg1-2ubuntu1 (Feb 12 2016 - 05:55:38 +0000)

DRAM: 944 MiB
WARNING: Caches not enabled
RPI 2 Model B (0xa21041)
MMC: bcm2835_sdhci: 0
reading uboot.env
In: serial
Out: serial
Err: serial
Net: Net Initialization Skipped
No ethernet found.
Hit any key to stop autoboot: 0
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
No FDT memory address configured. Please configure
the FDT address via "fdt addr <address>" command.
Aborting!
reading vmlinuz
6682376 bytes read in 9273 ms (703.1 KiB/s)
reading initrd.img
12675295 bytes read in 17685 ms (699.2 KiB/s)
Kernel image @ 0x1000000 [ 0x000000 - 0x65f708 ]
ERROR: Did not find a cmdline Flattened Device Tree
Could not find a valid device tree
U-Boot>