Symbol: acpi_rhct_hart_info