[Linux-stable-mirror] [PATCH 3.16-stable 1/5] Revert "x86: kvmclock: Disable use from vDSO if KPTI is enabled"