The platform profile sets power settings for the EC/system but not the CPU.
Unfortunately, FreeBSD does not seem to boot so it is not being updated in this commit.