See 84.
I'd still be willing to bet that if they are using RT-Linux, the systems are running off UTC time, and the conversions are being done to localtime through other software, which may be kernel-space programs. There is already code in the kernel for dealing with standard and daylight times, though, so the change shouldn't be too horrid. That doesn't mean you don't have to do extensive testing to verify the change though.