kernel - Adjust tlb invalidation in the x86-64 pmap code