Re: [PATCH v5] x86/entry_32: Use stack segment selector for VERW operand