Revert "Revert "Use coretx-a15 flags for krait""

This reverts commit c8c8265bf5e78df2a3fff1e77fc9ef13d04f6417.