Re: [PATCH 0/2] i386: Adjust CPUID_EXT_PDCM based on enable_pmu at realization

[Paolo Bonzini]

Queued, thanks; sorry about the delay.

Paolo