getbootfile(3) on FreeBSD

The text dbc00ee683cd, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE, FreeBSD 13.0-RELEASE shipped it.

get kernel boot file name

getbootfile(3) on FreeBSD now