I installed BIOS GAZ7711H.86A.0064 on an Intel DZ77GA-70K yesterday. Now, the secondary Marvell SATA ports only work sometimes (more on that later), and I can no longer select a Secondary SATA Mode (see attached images; the menu is gone). The Samsung SSD Magician utility confirms that the drive attached to the Marvell controller (when it works) is not using AHCI.
Furthermore, when I plug all of the workstation's drives into the motherboard (there are six total, including the optical drive), the drives plugged into the Marvell SATA ports will not mount. Windows detects that there is an issue, and when I troubleshoot it, there is a "Code 12: This device cannot find enough free resources that it can use." This was not a problem under the BIOS that shipped with the board.