[PATCH 4.9 05/20] x86/CPU: Add Icelake model number