x86, 32-bit: improve lazy TLB handling code