# CONFIG_AMD_HSMP_ACPI is not set
