Symbol: acpi_thermal_get_temperature