Hi again,

You will need:

CONFIG_THUMB2_KERNEL=y CONFIG_LATENCYTOP=n

also CONFIG_ARM_UNWIND=y seems to be required, as it doesn't get set automatically.

Tentative testing suggests that a Thumb-2 kernel built for imx51 from the current linux-linaro-oneiric/master branch also works.

Do you want to have a go at turning this on, too?

Cheers ---Dave