[PATCH 6.0 059/314] x86/cpu: Add several Intel server CPU model numbers