Following Linux commit 14fb57dccb6e1defe9f89a66f548fcb24c374c1d from Borislav Petkov. Signed-off-by: Jan Beulich --- a/xen/arch/x86/cpu/amd.c +++ b/xen/arch/x86/cpu/amd.c @@ -475,7 +475,7 @@ static void __devinit init_amd(struct cp #endif /* As a rule processors have APIC timer running in deep C states */ - if (c->x86 >= 0xf && !cpu_has_amd_erratum(c, AMD_ERRATUM_400)) + if (c->x86 > 0xf && !cpu_has_amd_erratum(c, AMD_ERRATUM_400)) set_bit(X86_FEATURE_ARAT, c->x86_capability); /* Prevent TSC drift in non single-processor, single-core platforms. */