ACPI: Add AGDI support
JIRA: https://issues.redhat.com/browse/RHEL-4625
ARM Generic Diagnostic Dump and Reset Interface (AGDI) is an ACPI interface allowing for the generation of a non-maskable event to the OS to request the OS kernel to perform a diagnostic dump and reset the system.
Currently non-functional because of firmware issues or because crashing in an SDEI handler causes the crash kernel to be started without interrupts.
Signed-off-by: Mark Langsdorf mlangsdo@redhat.com