Hi Marco, About 2 years ago, you reported a bug to the Debian BTS regarding the X server on AMD64 boxes with PCIe boards. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice