Signed-off-by: NAnthony PERARD <anthony.perard@citrix.com>
Signed-off-by: NStefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: NKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>

I think I understand enough of what's going on in these rules to ensure this is
right.  But I could certainly use a second or third opinion...
Signed-off-by: NAnthony Liguori <aliguori@us.ibm.com>

Also drop duplicate occurrence of device-hotplug.o.
Signed-off-by: NPaolo Bonzini <pbonzini@redhat.com>