# CONFIG_ACPI_DOCK is not set
