https://bugs.freedesktop.org/show_bug.cgi?id=101499
--- Comment #3 from Carlo Caione carlo@caione.org ---
I suspect the core problem is that there's only 32 MB of VRAM available. Is it possible to increase this in the BIOS setup?
It is not. There is nothing in the BIOS related to VRAM.