Check http://ports.ubuntu.com/pool/main/l/linux/ linux-image-3.2.0-25-highbank_3.2.0-25.40_armhf.deb is there but not kernel-image-3.2.0-25-highbank-di_3.2.0-25.40_powerpc.udeb
Check http:// ports.ubuntu. com/pool/ main/l/ linux/ 3.2.0-25- highbank_ 3.2.0-25. 40_armhf. deb is there image-3. 2.0-25- highbank- di_3.2. 0-25.40_ powerpc. udeb
linux-image-
but not kernel-