[PATCH] x86_64: Use for_each_cpu_mask for clustered IPI flush