ARM: Add note about updating libstdc++

The __sync_fetch_and_add_4() helper is deprecated in newer GCC,
and should be droped when we update libstdc++.