Comment # 3 on bug 80004 from Vitaliy Filippov

(In reply to comment #0)
> Linux kernel is Debian's 3.14.4-1.1, but most of the system is i386. Mesa is
> 10.1.2 from Debian repos.

I've meant "Linux is 3.14.4-1.1 amd64, but most of the system is i386"