Re: Enable thumb on AT91?