The text 8e6bce6da42c, as Debian 9 (Stretch) shipped it.
manipulate device enabled flag
device_disable(9freebsd) on Linux now
