Add config option CONFIG_ACPI for turning off ACPI table generation.