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

the following patch was just integrated into master:
commit 822bc65b0e8cb9c17721b8b776ec7ecf6ac4129e
Author: Vladimir Serbinenko 
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 
    Reviewed-on: http://review.coreboot.org/4609
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit