[PATCH 5.15 036/411] firmware: SDEI: Allow sdei initialization without ACPI_APEI_GHES