[coreboot-gerrit] Patch merged into coreboot/master: 822bc65 ACPI: Remove CONFIG_GENERATE_ACPI_TABLES

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 822bc65b0e8cb9c17721b8b776ec7ecf6ac4129e
Author: Vladimir Serbinenko <phcoder at gmail.com>
Date:   Fri Jan 3 15:55:40 2014 +0100

    ACPI: Remove CONFIG_GENERATE_ACPI_TABLES
    
    As currently many systems would be barely functional without ACPI,
    always generate ACPI tables if supported.
    
    Change-Id: I372dbd03101030c904dab153552a1291f3b63518
    Signed-off-by: Vladimir Serbinenko <phcoder at gmail.com>
    Reviewed-on: http://review.coreboot.org/4609
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at google.com>


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

-gerrit