x86: CPA avoid repeated lazy mmu flush