I've confirmed that http://ports.ubuntu.com/pool/main/l/linux/ now contains kernel-image-3.2.0-26-highbank-di_3.2.0-26.41_armhf.udeb. Tagging as verified.
I've confirmed that http:// ports.ubuntu. com/pool/ main/l/ linux/ now contains kernel- image-3. 2.0-26- highbank- di_3.2. 0-26.41_ armhf.udeb. Tagging as verified.