Hello again,
We have to try to update the HAL driver to see if Windows see the change, but now we have users running applications. We'll try out later when nobody is working.
If we see the device manager, we see all 4 cpu's:
But if we decide to see the cpu graphs at the task manager we can only see 1 cpu:
There is no option to see "one graph per cpu", as it were configured to 1 cpu alone.
After trying to update the HAL driver I'll post the result. Wish me luck...