Krait optimizations for hammerhead