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