Files: /_sources/firmware-guide/acpi/apei/output_format.rst.txt