acer-wmi, tc1100-wmi: select ACPI_WMI