The text cb3f1e99f11f, as Debian 9 (Stretch) shipped it.
determine whether a DRM kernel driver has been loaded
drmAvailable(3) on Linux now
