Re: [uclibc-ng-devel] [PATCH] arm: simplify handling of Thumb related options