ACPI: Update the ACPI spec information in Kconfig