FreeBSD 12.0 RBPI3B+ and hardware clock support

[Stefan Parvu]

root at k50:~ # dmesg | grep ds1307
ds13070: <Microchip MCP7941x RTC> at addr 0xde on iicbus0
ds13070: registered as a time-of-day clock, resolution 1.000000s


root at k50:~ # dmesg | grep clock
ofw_clkbus0: <OFW clocks bus> on ofwbus0
clk_fixed0: <Fixed clock> on ofw_clkbus0
clk_fixed1: <Fixed clock> on ofw_clkbus0
bcm2835_cpufreq0: can't get clock rate (id=8)
ds13070: registered as a time-of-day clock, resolution 1.000000s

Looks good. Correct ?

Stefan