Revisiting the role of the thermally pulsating asymptotic-giant-branch phase in high-redshift galaxies