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