(In reply to Tobias Klausmann from comment #14)
> Still a problem with a recent kernel and other sw components (especially
> xrandr and xserver)?

The problem was never solved by updating the software to the latest available
up to September 2013.  After that, there is no way to know, since that is when
I changed to a new TV that doesn't have overscan.

Sorry, but I can't help anymore with this.