The text 1b47480f9a15, as Debian 7 (Wheezy) shipped it.
copy kernel address into bio
bio_copy_kern(9) on Linux now