Fix build for targets with krait optimizations defined.

Change-Id: I8367378c13028111e1d778080b1db9efa10f96ff