Re: [PATCH] hw/i386: Use device_cold_reset() to reset the APIC

[Paolo Bonzini]

This conflicts with "hyperv: fix SynIC SINT assertion failure on
guest reset", but the resolution is simply to do the change in a new
function x86_cpu_after_reset(); adjusted and queued, thanks.

Paolo