I'm guessing the Z77A-GD80 from MSI is the best bet for hackintoshing. Seems like the Kext are available and are stable for all things on board. And if what Anandtech says is true:
The beauty of Thunderbolt is it's near invisible to the OS. You don't need to install any drivers to take advantage of it, just plug your devices in and as long as your devices have driver support they'll just appear. The OS has no idea that your SATA, Ethernet or RAID controllers are sitting a few feet outside of your box, they all appear as normal PCIe devices.
Then getting T-Bolt to work with OS X should be easy. I might pick up the MSI board on launch day. Just need to learn how to make DSDTs
What board is everyone else looking to pick up?
Also do ASUS UEFI boards have some type of locked power management which makes them difficult to hackintosh?