[coreboot-gerrit] Patch merged into coreboot/master: x4x: make preallocated IGD memory a cmos option

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit eff0c6a99d5bbd57129c710033e7d0b5d5a684a7
Author: Arthur Heymans <arthur at aheymans.xyz>
Date:   Sat Jun 18 21:52:30 2016 +0200

    x4x: make preallocated IGD memory a cmos option
    
    This allows to set the preallocated memory for the IGD on x4x
    using a cmos option.
    If no cmos option is found a default value of 64M is used.
    
    TESTED most options on ga-g41m-es2l with 2G dimm in one slot and 2x2G.
    352M also works in contrast with gm45 where it is known to cause issues
    with certain ram combinations.
    
    Change-Id: I9051d080be82f6dfab37d353252e29b2ed1fca7f
    Signed-off-by: Arthur Heymans <arthur at aheymans.xyz>
    Reviewed-on: https://review.coreboot.org/15492
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/15492 for details.

-gerrit