[coreboot-gerrit] Patch set updated for coreboot: 96d6f0d hp/pavilion_m6_1035dx: Remove inexistent devices from devicetree