>>106141718
It depends on the OS scheduler.
On linux you can configure the scheduler to prioritize the faster cores and you can tell it to use only x3d cores when gaming