OpenMP: Add get_device_from_uid/omp_get_uid_from_device routines