[coreboot-gerrit] Patch merged into coreboot/master: src/arch/x86/acpi.c: Use correct host address width in DMAR ACPI table

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f3f654ddb90fedfb72eab99db6f9893e898ffbff
Author: Jacob Laska <jlaska at xes-inc.com>
Date:   Tue Mar 15 21:53:27 2016 -0500

    src/arch/x86/acpi.c: Use correct host address width in DMAR ACPI table
    
    The previous implementation assumed the CPU physical address size to
    be 40 which is not true of all platforms. Use an existing function to
    obtain the correct CPU physical address to report in the DMAR ACPI
    table.
    
    Change-Id: Ia79e9dadecc3f5f6a86ce3789b213222bef482b3
    Signed-off-by: Jacob Laska <jlaska91 at gmail.com>
    Reviewed-on: https://review.coreboot.org/14102
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>
    Reviewed-by: Nico Huber <nico.h at gmx.de>


See https://review.coreboot.org/14102 for details.

-gerrit