# CONFIG_ACPI_WMI_LEGACY_DEVICE_NAMES is not set
