This adds Rockchip RK3399 (e.g., Pine64 ROCKPro64) support:
- Ethernet works, ~90mbps. Can netboot like on RK3328 (ROCK64)
- I²C seems to work ([[ https://github.com/evadot/freebsd/commit/28e37a1b671cf0923f8ca89bde32bcc0692c1267 | rk805 ]] PMIC driver (with 'rk808' name added) does not error)
- clocks/PLLs work
To actually reclock the CPU, [[ https://gist.github.com/myfreeweb/88cb9340652f56498f4be770c77b9d61 | extra hacks ]] are required for now. (Basically, making cpufreq not require voltage control. On ROCKPro64, the default voltage is enough for the max clock. Actually the default voltage might be the highest one, since the heatsink gets rather hot when just idling in FreeBSD.)
To reclock properly, we'll need the rk8xx driver mentioned above. And, at least on the ROCKPro64, a driver for the "silergy,syr827" (aka "fcs,fan53555") which controls voltage for the big (Cortex-A72) cores. Other boards might use other chips for that voltage I guess.