Dann sollte
libxtc-dxtn (Link: http://people.freedesktop.org/~cbrill/libtxc_dxtn/ ) aber helfen, oder?! Beim radeon hats jedenfalls damals geklappt.
Ich denke eher, dass die Intel Linux Treiber einfach immer noch nicht gut genug sind (OpenGL3 z.B.? Und das ist nur der Anfang, von der Performance - die auch unter Windows noch übel ist - will ich garnicht erst anfangen..)