Re: Enabling THUMB2 kernel config option