[coreboot-gerrit] Patch merged into coreboot/master: 96d6f0d hp/pavilion_m6_1035dx: Remove inexistent devices from devicetree

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 96d6f0de6526c79e3f0518c36a2c14d3008aa092
Author: Alexandru Gagniuc <mr.nuke.me at gmail.com>
Date:   Sat Apr 5 11:11:14 2014 -0500

    hp/pavilion_m6_1035dx: Remove inexistent devices from devicetree
    
    This removes ominous "PCI: xx:xx.x not found" messages from coreboot
    console.
    
    Change-Id: I13a6f2497c04464e8dd0c4c5e7f40a1582f7f26c
    Signed-off-by: Alexandru Gagniuc <mr.nuke.me at gmail.com>


See http://review.coreboot.org/5461 for details.

-gerrit