On Thu, Aug 02, 2012 at 03:07:20PM +0200, Paolo Bonzini wrote: > More than 1kb of data is taken by the 32 copies of the PCI hotplug SSDT > methods. We can build them from a single template like we do for CPUs. Thanks. I committed this patch series. -Kevin