bad tv sync after kernel update

[gwarrink]

I use a Sundtek MediaTV MiniPCIe in my desktop running Fedora 17.
TVTime shows the correct programs when kernel 3.6.11-5.fc17.x86_64 is used.
This weekend the kernel was updated to 3.7.3-101.fc17.x86_64 en TVTime
now gives a bad synchronisation of the tv program.

What can be the problem?

[Sundtek]

must be a pulseaudio issue on your system!

try to restart pulseaudio

eg.

pulseaudio -k

afterwards try to start tvtime (maybe try to start it a second time since at the first time pulseaudio will start up).