x86-32, resume: do a global tlb flush in S4 resume