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