ARCH_ARM_HIGH_OPTIMIZATION: better remove optimizations on krait
On all supported krait devices, we only need to remove optimizations for thumb modules, not all modules. This retains both
Grouper BlueTooth and Optimus G Mms functionality while maintaining all optimizations that go along with optimization level
3 on Optimus G for all modules but thumb.