There can be one more possibility, depending how you do the overclocking (bus, multiplier, etc): Even when overclocking enabled, BIOS may still report to FreeBSD default frequencies. But setting those may in fact mean setting overclocked one. I don't remember AMD CPU driver details, but at least for Intel ACPI BIOS just gives OS a table like: to set frequency X, write value Y to the register. FreeBSD doesn't need to know what these values mean. AFAIK they are not even officially documented.
So, as it was proposed earlier, I would recommend you to run some CPU benchmark with and without overclocking to find the answer.