Check out the BIOS settings.
There must be a place where you can specify the allocated memory for the onboard video. Set this as high as possible.
If it still doesn't work juggle around with the ACPI modes,disabling-enabling plug-and-play support .

Hope this'll get your friend on the intelligent way of Linux

Greetzzzzz,