ALPHA1: rpi4: bcm2835_cpufreq0: Unable to find firmware device

From: Nuno Teixeira <eduardo_at_freebsd.org>
Date: Sat, 12 Aug 2023 07:34:30 UTC
Hello all,

I've updated from 9610cbc09e72 to efbfa74caf8d (ALPHA1) and cpu temperature
and frequency stoped working (powerd cannot start because of cpufreq not
set).

rpi4 8GB v1.5 with latest rpi-firmware and u-boot.

Attached both dmesg logs.
Any hints?

Thanks,

-- 
Nuno Teixeira
FreeBSD Committer (ports)