# CONFIG_ACPI_BGRT is not set
