I can confirm that's not true. I had a timer set for 7-7:30 PM this evening and it didn't fire. I checked the clock on my DTVPal DVR and it was 1 hour slow. I then set the clock manually to the correct time and right after I did that the 7-7:30 timer started to record (the remaining time of the show until 7:30).
I will keep the time set manually for this evening and then tomorrow I will do the "double soft reset" to see if I can get re-synced back to the correct PSIP time. If that doesn't work I'll keep the time set manually (and regularly correct for the 8 seconds/day time gain) until after the return to Standard Time on November 3rd.