I would like to know whether there could be a driver I'm missing, since sysinfo can't see the correct value for my CPU frequency
It's probably just because the processor frequency has dropped to save power due to it being idle. If you run a processor intensive task and look again you should hopefully see the correct frequency.
You can also see this information by running
So that just about matches up with the 3.07GHz. For another core I get:
The current frequency is halved over the maximum.