Patch "x86/mm: Fix vmalloc_fault to use pXd_large" has been added to the 4.15-stable tree