krait optimizations

Change-Id: I1ef41ed2456adec9431857c788eb80a9d2979724