TLB flush happens when the CR3 register is written to. Comment is
misleading ....