4e72c7 firmware: SDEI: Allow sdei initialization without ACPI_APEI_GHES

Authored and Committed by Takashi Iwai a month ago
    firmware: SDEI: Allow sdei initialization without ACPI_APEI_GHES
    (git-fixes).
    
        
file modified
+1 -0