FWIW, my digital clock's "Time display" is set to "Use Region Defaults", not "24 hours", and I do get a 24 hour clock (which is what my region defines).