The text efd94c2105cf, as FreeBSD 12.3-RELEASE shipped it.
get kernel boot file name
getbootfile(3) on FreeBSD now
