x86: mention ACPI in top-level Kconfig menu