KBL is similar to SKL Signed-off-by: Len Brown [Linux commit: 3ce093d4de753d6c92cc09366e29d0618a62f542] Signed-off-by: Jan Beulich --- a/xen/arch/x86/cpu/mwait-idle.c +++ b/xen/arch/x86/cpu/mwait-idle.c @@ -825,6 +825,8 @@ static const struct x86_cpu_id intel_idl ICPU(0x56, bdw), ICPU(0x4e, skl), ICPU(0x5e, skl), + ICPU(0x8e, skl), + ICPU(0x9e, skl), ICPU(0x55, skx), ICPU(0x57, knl), {}