Revert "Use coretx-a15 flags for krait"

This reverts commit 8e23e8a6dbe37fc8def6792d382a81db4d8c2bea.