[PATCH 6.12 092/512] firmware: SDEI: Allow sdei initialization without ACPI_APEI_GHES