[PATCH v2 4/7] x86/entry_32: Add VERW just before userspace transition