ACPICA: Cast acpi_thread_id to UINT32 for debug output only

Signed-off-by: Alexey Starikovskiy <alexey.y.starikovskiy@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
1 file changed