[PATCH kernel-4.19 169/244] arm64: Add missing ISB after invalidating TLB in __primary_switch