The SQL Server team has released CU #6 for Service Pack 1.
The latter, most importantly, because it altered the way we approached collecting certain extended event information regarding Availability Groups in SQL Sentry v7.5. Also interesting to note that neither KB indicates these issues are present in the RTM branch. I suspect they won't reflect this until they're updated in a month with similar fixes for RTM. Of course, if you're still on RTM, you should start thinking about migrating to the SP1 branch.
Relevant for builds 11.0.3000 -> 11.0.3380. Do not attempt to install on SQL Server 2012 RTM (any build < 11.0.3000) or any previous version.