Looks like my others (Digital Ocean, Vultr) use KVM (according to virt-what).
Did anyone see Amazon do reboots? I wonder if Amazon has some method of hot-patching kernel and Xen code under the hood? There are such things, and that would be some interesting secret sauce.