The text d88199d77f14, as Debian 7 (Wheezy) shipped it.
find a device by its hardware address
dev_getbyhwaddr_rcu(9) on Linux now
