The text cce110004e44, as Debian 9 (Stretch) shipped it.
access the current driver of a device
device_get_driver(9freebsd) on Linux now
