tree 91fd69f30448aab5e7cf777374a868a49b9ec243
parent a555e55d15298da56f6752d01e4f8a04ae1a4eb8
author Patrick Georgi <patrick.georgi@secunet.com> 1342780626 +0200
committer Patrick Georgi <patrick@georgi-clan.de> 1342969289 +0200

i945: Disable IGD if plugin VGA is preferred

It's shut down, but UMA memory is not reclaimed. A later extension
could optionally do the magic register dance that allows initialization
of IGD as secondary graphics device.

Change-Id: I2a92bb71755005b886a8e1825325c678a9991bf2
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/1252
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>