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