[Linux-stable-mirror] [PATCH 4.14 027/146] x86/mm: Optimize RESTORE_CR3