[PATCH AUTOSEL 6.0 28/30] x86/cpu: Add several Intel server CPU model numbers