linux-image-3.13.0-24-generic_3.13.0-24.46~hvcdcc_armhf.deb verified as working, both directly and via u-boot, thank you.
And thanks for including the DTB in the package now. I was using vexpress-v2p-ca9.dtb, but IIRC I compiled it from vanilla sometime last year.
linux-image- 3.13.0- 24-generic_ 3.13.0- 24.46~hvcdcc_ armhf.deb verified as working, both directly and via u-boot, thank you.
And thanks for including the DTB in the package now. I was using vexpress- v2p-ca9. dtb, but IIRC I compiled it from vanilla sometime last year.