x86/mm/64: In vmalloc_fault(), use CR3 instead of current->active_mm