Football Ruling upheld: OU defensive end R Mason Thomas to miss first half vs. Auburn