The text 54f5efbc5211, as Debian 7 (Wheezy) shipped it.
set a device name
dev_set_name(9) on Linux now
