Re: [RFC][PATCH 2/2] x86: add extra serialization for non-serializing MSRs

[Dave Hansen]

...
> Reported-by: Jan Kiszka <jan.kis...@siemens.com>
> Cc: x...@kernel.org
> Cc: Peter Zijlstra <pet...@infradead.org>

Don't know how I managed to miss it in the first place, but:

Signed-off-by: Dave Hansen <dave.han...@linux.intel.com>