Re: [PATCH v7 3/3] x86/bugs: Use code segment selector for VERW operand