The text 381abdb31189, as Debian 7 (Wheezy) shipped it.
determine whether a DRM kernel driver has been loaded
drmAvailable(3) on Linux now
