[PATCH 4.9 086/134] arm64: Add missing ISB after invalidating TLB in __primary_switch