The locale WAS set to 24h. I changed it to 12. Time was UTC-5, which is correct for me.
This made the clock display on the main menu 12 hour mode, but Channels guide stays at 24 hour mode. After a reboot of the box, Channels guide changes to 12 hour mode.