CP-3989/CP-3940: Add CPUID masking support for Intel Haswell DT and Ivy Bridge EN and EP

This adds CPU models 0x3c and 0x3e to the whitelist.

Signed-off-by: Rob Hoes <[email protected]>

Author: robhoes

cpuid/cpuid.ml

@@ -111,7 +111,8 @@ let read_features () =
  * It's not sensibly documented, so check by model *)
 let has_flexmigration family model stepping =
 	let fully_maskable_models =
-		[0x17l; 0x1dl; 0x1el; 0x1fl; 0x25l; 0x2al; 0x2cl; 0x2cl; 0x2dl; 0x2el; 0x2fl; 0x3al] in
+		[0x17l; 0x1dl; 0x1el; 0x1fl; 0x25l; 0x2al; 0x2cl; 0x2cl; 0x2dl; 0x2el; 0x2fl; 0x3al;
+		0x3cl; 0x3el] in
 	if family <> 0x6l then
 		No
 	else if model = 0x1dl || (model = 0x17l && stepping >= 4l) then