Your first choice has two lesser boards that are nearly the same model and are considerably cheaper. They will all overclock really well, you'll just miss out on some of the other bells, like extra connections.
I'm not familiar with your second choice, but it seems fine to me.
Just don't feel you should have to pay a lot for a bored to be good. The non-Pro Abit board would suit most people just fine.