x86/cpu: Add several Intel server CPU model numbers