ESP32-MINI-1 single core at 240 MHz?

[ma-lalonde]

PCN-2021-021 changed the ESP32-U4WDH from a single core to a double core, with a max speed of 240 MHz instead of 160 MHz.
I bought some ESP32-MINI-1 chips last fall, and some in April 2022. They are all single core (according to idf.py utility), but I can run them at 240 MHz. At flash, the features list does say "Single Core".

Is it possible that the CPU resets to 160 MHz after boot?
Or could I really be running a single-core U4WDH at 240 MHz?
Is there a way I can print the "current" CPU frequency in my code to validate?

Cheers,