GPU: update VGA from Linux 3.12-rc4