kernel/include/config/ACPI_APEI_SEA