[coreboot] Patch merged into coreboot/master: 6c9e7d7 Limit the device field to 5 bits.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6c9e7d7c6d8eb28b39c9bef1211031a88fd5773e
Author: zbao <fishbaozi at gmail.com>
Date:   Mon Jul 23 19:49:40 2012 +0800

    Limit the device field to 5 bits.
    
    The field device in PCI_ADDRESS only takes 5 bits. So if the device number is
    more than 32, it will truncated to 5 bits. Before this patch, other pci devices
    will be incorrectly probed as processor node.
    
    Change-Id: I64dcd4f4fda7b7080a9905dce580feb829584b94
    Signed-off-by: Zheng Bao <zheng.bao at amd.com>
    Signed-off-by: zbao <fishbaozi at gmail.com>

Build-Tested: build bot (Jenkins) at Tue Jul 31 13:08:25 2012, giving +1
Reviewed-By: Anton Kochkov <anton.kochkov at gmail.com> at Thu Aug  2 13:03:08 2012, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Tue Jul 31 17:45:57 2012, giving +2
See http://review.coreboot.org/1264 for details.

-gerrit