[PATCH 4.14 0/2] arm64 KPTI fixes