FreeBSD 12.0 RBPI3B+ and hardware clock support

[Stefan Parvu]

> 
> - Download i2c-rtc.dtbo and copy it to "overlays/" directory on FAT
>  partition

root at k50:~ # ls -lrt /boot/msdos/overlays/
total 88
-rwxr-xr-x  1 root  wheel    946 Jun 19 11:30 pwm.dtbo
-rwxr-xr-x  1 root  wheel    818 Jun 19 11:30 pi3-disable-bt.dtbo
-rwxr-xr-x  1 root  wheel   1099 Jun 19 11:30 mmc.dtbo
-rwxr-xr-x  1 root  wheel  74175 Nov 21 19:43 i2c-rtc.dtbo


> - Edit config.txt on FAT partition and add following line:
>  dtoverlay=i2c-rtc,mcp7941x

arm_control=0x200
dtparam=audio=on,i2c_arm=on,spi=on
dtoverlay=mmc
dtoverlay=pwm
dtoverlay=i2c-rtc,mcp7941x
dtoverlay=pi3-disable-bt
device_tree_address=0x4000
kernel=u-boot.bin

> - Reboot RPi and check whether overlay is applied:
>  sysctl -b hw.fdt.dtb | dtc -I dtb -O dts | grep mcp7941x

nope.

root at k50:~ # sysctl -b hw.fdt.dtb | dtc -I dtb -O dts | grep mcp7941x
root at k50:~ # 

thanks,
Stefan