devcfg(4) on FreeBSD

The text f7f903d0bbbb, as FreeBSD 14.4-RELEASE, FreeBSD 14.3-RELEASE, FreeBSD 14.2-RELEASE, FreeBSD 14.1-RELEASE, FreeBSD 14.0-RELEASE shipped it.

Zynq PL device config interface