android; restored krait fix