Hardware Error Device

modulename: hed.ko

configname: CONFIG_ACPI_HED

Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>Hardware Error Device
In linux kernel since version 4.2 (release Date: 2015-08-30)  
This driver supports the Hardware Error Device (PNP0C33),
which is used to report some hardware errors notified via
SCI, mainly the corrected errors.

source code:
depends
CONFIG_ACPI

is depended by
CONFIG_ACPI_APEI_GHES