For Linux operating systems, the HAL Device Manager shows Unknown for CPU information.
This issue is under investigation.