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

the following patch was just integrated into master:
commit 711612989930fdb3c1d60b3fc99ccb6918c3f135
Author: Aaron Durbin 
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 
    Reviewed-on: http://review.coreboot.org/2674
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones

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

-gerrit