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

the following patch was just integrated into master:
commit f3f654ddb90fedfb72eab99db6f9893e898ffbff
Author: Jacob Laska 
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 
    Reviewed-on: https://review.coreboot.org/14102
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth 
    Reviewed-by: Nico Huber

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

-gerrit