Livemigration

The following series of patches implement VM live migration and the necessary ACPI hotplug code for the Seoul VMM. A description of the concepts and mechanisms can be found in Jacek's thesis titled "Live Migration of Virtual Machines between Heterogeneous Host Systems".