Updated 2013-07-11-booting-ec2.md