Raspberry Pi Serial Number

From: Archimedes Gaviola <archimedes.gaviola_at_gmail.com>
Date: Wed, 23 Feb 2022 09:48:18 UTC 
Hi,

How to obtain the RPi serial number? I'm checking sysctl info but there
seems to be none with FreeBSD-13.0-RELEASE and 14.0-CURRENT or I just
missed it somewhere? In CentOS it is reflected in the /proc/cpuinfo such as:

Hardware        : BCM2835
Revision        : b03112
Serial          : 10000000bc8a56a3
Model           : Raspberry Pi 4 Model B Rev 1.2

Thanks,
Archimedes