Re: [PATCH v2 01/36] cpu_x86: Annotate virCPUx86Model fields