The first patch was stripped of its WRMSR adjustments, albeit I'm not convinced we'll get away with this - see there. v2 there also addresses further comments. The 2nd patch is new here, but the need for something like this was mentioned in v1 already.
1: PV: conditionally avoid raising #GP for early guest MSR reads 2: AMD: expose HWCR.TscFreqSel to guests Jan
