Alabama football DL Devan Thompkins was injured in the Crimson Tide game at Vanderbilt Saturday. What we know.