kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_ACPI_AGDI.
Result is shown for kernelversion 5.18-rc7

Arm Generic Diagnostic Dump and Reset Device Interface

modulename: agdi.ko
configname: CONFIG_ACPI_AGDI

Linux Kernel Configuration
└─> Power management and ACPI options
└─> ACPI (Advanced Configuration and Power Interface) Support
└─> Arm Generic Diagnostic Dump and Reset Device Interface

Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is
a standard that enables issuing a non-maskable diagnostic dump and
reset command.

If set, the kernel parses AGDI table and listens for the command.


source code:


drivers/acpi/arm64/agdi.c