linux-sg2042/drivers/acpi/apei/Kconfig