Page 15, under the "Tribe of Trolls" section:
Troll tokens have no value in themselves, but they are used to break ties for control of the Kingdoms at the end of the Age. The tied player with the highest total value of Troll tokens wins the tie. If still tied, the higher numbered Troll token wins the tie.
Your "first variant" is the correct way to play according to the rule book.