But again: what can I do to really get rid of this problem?
I mean obviously it's not that many people who have this problem.
Would changing the graphic card help? Is ATI known for this problem?
In terms of changing hardware, I don't know (I don't have the problem myself, so I've never tried to fix it with new hardware). I'd do the buffering tests first to make sure that it actually is a playback versus broadcast speed problem you have before you start changing hardware (and I don't understand why you don't have this problem with SD TV - unless these are different broadcasters using different delivery methods).
I used to have a version of TsReader that allowed me to adjust the playback speed using MPAR (for test purposes) - I'll check if I've still got it around (it might need a modified MPAR as well).