Hola a todos!
Mi problema también está relacionado con la configuración del reloj.
Curiosamente, en el triste reloj digital normal y corriente de la pantalla Today, aparece en formato 24horas, que es como lo quiero. Sin embargo, en el alegre reloj pintado en las hojas que van pasando, aparece en formato 12 horas.
He modificado convenientemente el registro para que me apareciese la opción de HH:mm:ss en la Configuración de Reloj y Alarmas, pero no sé qué mas he de hacer.
Muchas gracias.