[PATCH 1/5] arm64: Optimize ttwu IPI