Our January release addresses this issue. You can set the locale, timezone and language of the subscription. If you change the locale to a European locale, it will honor the 24hour time display.
Just to add a few more details, if your language preference is English, you can set your locale to "English (United Kingdom)" and now the Marketo UI will display times in a 24 hour clock for you.