Use coretx-a15 flags for krait