I wrote both those wiki pages:
http://wiki.freeswitch.org/wiki/Enterprise_deployment_IP_Failover
http://wiki.freeswitch.org/wiki/Enterprise_deployment_with_Corosync

I only tested them on Debian Squeeze -- they both worked on Squeeze.
Please feel free to update the wiki for Debian Wheezy or any other distro.

<snip>