Comment 23 for bug 1019321

francesco,

The package search portal (packages.ubuntu.com) does not search the packagaes for ubuntu "ports" other than the mainstream architectures (i386, amd64, powerpc)

The ARM port is located here: http://ports.ubuntu.com/ubuntu-ports/
And the package I'm refering to: http://ports.ubuntu.com/ubuntu-ports/pool/main/l/linux-linaro-omap/

However, it seems you're right that this kernel is only available as an armel variant, not armhf. armhf is new and first available from ubuntu 12.04. Before that all ubuntu ARM ports were armel variants. My system is a 12.04 but I did not installed it from scratch but had already a working 11.10 installation which I upgraded to 12.04. And since all previous ubuntu was armel it got upgraded to 12.04-armel not armhf.

AFAIK it is not possible to switch the system architecture once the system is installed. So it looks like it's not possible to switch from armel to armhf other then complete reinstall.