Proposal to enable CONFIG_THUMB2_KERNEL for vexpress

Hi there John,

I've tested the linux-linaro-natty tree with CONFIG_THUMB2_KERNEL on vexpress, and it seems to work well.

Since we have reasonable confidence in the status of vexpress for Thumb-2 anyway, the start of this cycle seems a good opportunity to switch to Thumb-2 for this platform.

Which packaging tree is the active one for the 11.11 cycle? I guess that would be the appropriate place for this config change.

Cheers ---Dave

Options to add: CONFIG_THUMB2_KERNEL=y CONFIG_THUMB2_AVOID_R_ARM_THM_JUMP11=y (this should get turned on automatically: if so, leave it implicit)

Options to remove: CONFIG_FPE_NWFPE=n CONFIG_FPE_FASTFPE=n