cpufreq driver stopped working on RPI4

[Mike Karels]

I upgraded an older (original) RPI4, 4 GB, to 13.0-BETA3, and merged my
previous rc.conf including powerd.  Powerd fails to start now, saying
that there is no cpufreq(4) support.  Sure enough, dmesg has the following
relevant lines:

    bcm2835_cpufreq0: <CPU Frequency Control> on cpu0
    bcm2835_cpufreq0: Unable to find firmware device
    device_attach: bcm2835_cpufreq0 attach returned 6
    armv8crypto0: CPU lacks AES instructionsbcm2835_cpufreq0: <CPU Frequency Control> on cpu0
    bcm2835_cpufreq0: Unable to find firmware device
    device_attach: bcm2835_cpufreq0 attach returned 6

(Yes, armv8crypto is missing a newline.)

I checked the most recent system I had on the shelf, which was 13.0-ALPHA1.
It has this:

    bcm2835_firmware0: <BCM2835 Firmware> on simplebus0
    ofw_clkbus1: <OFW clocks bus> on bcm2835_firmware0
    gpio0: <Raspberry Pi Firmware GPIO controller> on bcm2835_firmware0
    bcm2835_cpufreq0: <CPU Frequency Control> on cpu0
    bcm2835_cpufreq0: ARM 600MHz, Core 200MHz, SDRAM 400MHz, Turbo OFF

Does anyone know what changed to cause this?  Was it the FDT update?

		Mike