eduardo 30 Nov 2021 https://www.kernel.org/doc/html/latest/firmware-guide/acpi/apei/einj.ht… Tags linux kernel