ACPI: add a Kconfig option for ACPI procfs interface