[coreboot-gerrit] Patch merged into coreboot/master: 6d5657d hp/pavilion_m6_1035dx: Enable IOMMU

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6d5657d620e941f419d252e53ad79f2c1b41ea08
Author: Alexandru Gagniuc <mr.nuke.me at gmail.com>
Date:   Sat Dec 6 03:29:25 2014 -0600

    hp/pavilion_m6_1035dx: Enable IOMMU
    
    Change-Id: Ia14490c9074d35b7dde99e38b4ee169d4e4589a4
    Signed-off-by: Alexandru Gagniuc <mr.nuke.me at gmail.com>
    Reviewed-on: http://review.coreboot.org/7678
    Reviewed-by: Edward O'Callaghan <eocallaghan at alterapraxis.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit