Branden Carlson’s availability against BYU