blanket drivers to run Xen on clouds (e.g. Amazon EC2)