vpmu: Add processors Westmere E7-8837 and SandyBridge i5-2500 to the vpmu list

Signed-off-by: Dietmar Hahn <dietmar.hahn@ts.fujitsu.com>

xen/arch/x86/hvm/vmx/vpmu_core2.c

@@ -58,7 +58,8 @@ static void check_pmc_quirk(void)
     is_pmc_quirk = 0;
     if ( family == 6 )
     {
-        if ( cpu_model == 46 || cpu_model == 26 )
+        if ( cpu_model == 47 || cpu_model == 46 || cpu_model == 42 ||
+             cpu_model == 26 )
             is_pmc_quirk = 1;
     }
 }

xen/arch/x86/hvm/vpmu.c

@@ -119,7 +119,9 @@ void vpmu_initialise(struct vcpu *v)
             case 23:
             case 26:
             case 29:
+            case 42:
             case 46:
+            case 47:
                 vpmu->arch_vpmu_ops = &core2_vpmu_ops;
                 break;
             }