Comment 7 for bug 1489412

As suggested by ppisati I've tried isolating this issue:

- Keeping the tests it to serial
- Kernel version: Debian uses 3.18.x while Snappy 3.19.x.
- Boot snappy with Debian kernel.

Replaced Debian's kernel on the Snappy image:

>wget erlerobotics.com/files/boot-debian.tar.gz
>tar -zxf boot-debian.tar.gz
>sudo cp ~/boot-debian/kernel7.rt.img /boot/uboot/a/vmlinuz
>reboot

U-Boot 2015.07-dirty (Aug 06 2015 - 16:55:15 +0200)

DRAM: 944 MiB
WARNING: Caches not enabled
RPI 2 Model B
MMC: bcm2835_sdhci: 0
reading uboot.env
In: serial
Out: lcd
Err: lcd
Net: Net Initialization Skipped
No ethernet found.
Hit any key to stop autoboot: 0
switch to partitions #0, OK
mmc0 is current device
LOADBOOTENV
reading uEnv.txt
0 bytes read in 7 ms (0 Bytes/s)
Loaded environment from uEnv.txt
Importing environment from mmc ...
Running uenvcmd ...
ENVCMD
reading a/vmlinuz
8546784 bytes read in 5379 ms (1.5 MiB/s)
reading a/initrd.img
5842717 bytes read in 3675 ms (1.5 MiB/s)
Bad Linux ARM zImage magic!
Scanning mmc 0:1...
Scanning mmc 0:2...
Scanning mmc 0:3...
Scanning mmc 0:4...

I guess that replacing vmlinuz is not enough. ppisati can you walk me through any other step needed here?
Having a vivid rpi2 kernel with the debian config would also be really helpful.

Thanks,