[libvirt PATCH] cpu_map: Fix Icelake Server model number