Only the first board is fine. It's the only one that allows you to overclock, which is a necessity with a beautiful OCer like the 2500K (or the 3770K, which you should consider). You don't have to go for trophy overclocking, going for the maximum possible frequency, but when the time for your next CPU upgrade rolls around you can just OC a few hundred mhz and have the equivalent of a whole new CPU.
It's still pretty expensive, though. Consider the $140 ASRock Z77 Extreme4.