x86: pud_clear: only reload cr3 if necessary