[coreboot] Patch merged into coreboot/master: 7116129 haswell: Add VGA PCI ID mappings

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 711612989930fdb3c1d60b3fc99ccb6918c3f135
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Thu Dec 13 16:43:32 2012 -0600

    haswell: Add VGA PCI ID mappings
    
    Needed to map VGA OPROM IDs to actual device IDs
    
    Change-Id: I6743905c3db52519bf18f4bcc1a972aec43d3e9d
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/2674
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones <marc.jones at se-eng.com>

Build-Tested: build bot (Jenkins) at Tue Mar 12 23:54:53 2013, giving +1
See http://review.coreboot.org/2674 for details.

-gerrit