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