[PATCH 4.19 174/247] arm64: Add missing ISB after invalidating TLB in __primary_switch