Very similar to what I experience.
As you predict, no bios settings available.
Not possible to run Cinebench at 1 core max.
Strangely (even if on Better Performance), when loaded all core frequencies get high (4.1-4.2), although higher loads are jumping between few (see chart).
Maybe, with this...