Document that Debian Wheezy AMI works as well