# CONFIG_ACPI_PRMT is not set
