Symbol: ACPI_SIMPLE_REPAIR_INFO