8898ad58a019 ("x86/mm: define mm_p4d_folded()")