The text fc571284485e, as Debian 10 (Buster) shipped it.
manipulate driver flags
device_set_flags(9freebsd) on Linux now
