ACPICA: Cast acpi_thread_id to UINT32 for debug output only