config.txt on rpi3 and freebsd-12

[tech-lists]

Hello list,

I'd like to do the following:

[1] clock the speed on my rpi3 / turbo mode. Right now it just used
powerd. Am I getting turbo with powerd? dmesg suggests not.

[2] use a mpeg4 key which I bought for this board from the rpi site.

I know how to do this in a rpi3 supported linux. My questions are:

[a] does /efi/config.txt have the same functionality on freebsd-12 as it
does on linux?

[b] Can I expect the mpeg4 key to work?

many thanks,
-- 
J.