The upgrade/update guide for availability group servers is now live on MSDN.

Upgrade and Update of Availability Group Servers with Minimal Downtime and Data Loss

It shows how to upgrade/update to any major, minor, service pack, or update release with minimal downtime in multiple deployment scenarios.