Either way I just manually set the time twice a year now - I guess I'm thankful it still has that option.
When I was playing around with the radio in my girlfriends vehicle there was no option to set manually on the clock screen. Seems like a pretty shortsighted move to not allow that.