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