Tagging as solved since it’s now a non-issue for me.
@bikefrivolously it’s indeed better for you to open a dedicated thread at this point, if you’re still experiencing that issue.
I read something similar from a Windows user whose cores where stuck at 513Mhz IIRC (until a reboot), running the latest BIOS v03.03. You should find it here:
Thread’s a bit old tho (November).
Wish you luck! 