Am I missing something? If you choose a different time format in the Look and Layout Preferences section, you can choose 24 hour clock anyway, any of the formats which are HH:MM:SS (without a/pm at the end) will display things in 24 hour clock.
Unless of course that's only just been added.