I don't have inside knowledge on AWS but I do know OpenStack (open source cloud infrastructure project) and it's had the ability to live migrate guest VMs for years so I'd be shocked if AWS can't move VMs and cycle hosts to swap failing hardware or apply firmware / ring 0 hypervisor updates.