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