I'd go with the asrock z77 extreme 4 since it has more features(better onboard audio realtek ALC898) more 2 SATA III ports(asmedia), SLI support(two pcie 3.0 16x, dual mode 8x/8x) and it has more power phases.
This. I'd definitely recommend ASRock over MSI, but that's just me. From what I've seen, MSI's BIOS looks pretty bad and difficult to use, on the other hand, my ASRock mobo's BIOS looks almost exactly like ASUS's BIOS and is easy to use and tweak. Also, that board doesn't have great reviews, seems like it may have some quality issues. I think the ASRock board just plain looks better, too. Not trying to bash MSI in any way, I'm just very pleased with my ASRock board so far. So another vote for ASRock from me!