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

the following patch was just integrated into master:
commit 96d6f0de6526c79e3f0518c36a2c14d3008aa092
Author: Alexandru Gagniuc 
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

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

-gerrit