Comment 143 for bug 127101

I do not know if there is any relation but I found these on the changelog of the newest linux kernel on www.kernel.org (supposed to be fixes):

Revert "intel_agp: fix stolen mem range on G33":

    This reverts commit f443675affe3f16dd428e46f0f7fd3f4d703eeab, which
    breaks horribly if you aren't running an unreleased xf86-video-intel
    driver out of git.

intel_agp: really fix 945/965GME

    Fix some missing places to check with device id info, which
    should probe the device gart correctly.

Do you think it is related somehow to our problem?