Re: [RFC PATCH v1] arm: lib: add __gnu_thumb1_case_si