I was poking around my laptop’s BIOS the other day (as you do) and discovered a useful thing: the BIOS enables me to change the amount of memory given over to the integrated graphics, so I upped it from 64MB to (I think) 256MB. And the laptop’s faster now. Woo!