[PATCH 6.15 137/780] firmware: SDEI: Allow sdei initialization without ACPI_APEI_GHES