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

the following patch was just integrated into master:
commit 6c9e7d7c6d8eb28b39c9bef1211031a88fd5773e
Author: zbao 
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 
    Signed-off-by: zbao

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

-gerrit