kernelconfig_penguin

CONFIG_ACPI_APEI_SEA (not configurable)

configname: CONFIG_ACPI_APEI_SEA

Linux Kernel Configuration
└─> Power management and ACPI options
└─> ACPI (Advanced Configuration and Power Interface) Support
└─> ACPI_APEI_SEA