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