I now have a definitve answer. I found the "Maintanance and Service Guide" for my laptop. It reads: "32 MB of discrete video memory".
At least it shows, that lspci does not report the actual video memory, and if the Xorg log doesn't report it either, answering this question is non trivial.
I now have a definitve answer. I found the "Maintanance and Service Guide" for my laptop. It reads: "32 MB of discrete video memory".
At least it shows, that lspci does not report the actual video memory, and if the Xorg log doesn't report it either, answering this question is non trivial.
The bug description remains valid.