Esto es válido para la hora general, pero no tiene actualmente efecto en la pantalla ALWAYS ON. Aunque lo configures en 24h sale en formato 12h quedando, además, ligeramente descentrado ya que deja espacio para el inexistente primer dígito; es decir, cuando son las 14:00h. salen las 2:00h. pero con un espacio a la izquierda del dos como si mostrase dos dígitos.
