[coreboot] Patch merged into coreboot/master: 8e599ec Print PCI ID of PCH during boot up

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8e599ec930891a7d93a0830b466f15a3d4d084fe
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Mon Jun 18 11:26:25 2012 -0700

    Print PCI ID of PCH during boot up
    
    Right now, if we have an unknown PCH, coreboot will print something like
    this:
    
    PCH type: Unknown rev id 4
    
    Instead, it should also print the PCI ID of the device, so we can add it
    to the list of known PCHes.
    
    Change-Id: Ib0b96e287c36d2895d1287b1734ca13d75e7985a
    Signed-off-by: Stefan Reinauer <reinauer at google.com>

Reviewed-By: Patrick Georgi <patrick at georgi-clan.de> at Tue Jul 24 11:34:56 2012, giving +2
See http://review.coreboot.org/1287 for details.

-gerrit