The text 9736842bb076, as Debian 10 (Buster) shipped it.
determine whether a DRM kernel driver has been loaded
drmAvailable(3) on Linux now
