# CONFIG_AMD_SECURE_AVIC is not set
