acpi_os_get_thread_id() is used only for debugging
code that is not enabled on Linux, so stub it out.
Signed-off-by: Len Brown <len.brown@intel.com>