# CONFIG_ACPI_TINY_POWER_BUTTON is not set
