The text 74a4c132b8e7, as Debian 13 (Trixie) shipped it.
determine whether a DRM kernel driver has been loaded
drmAvailable(3) on Linux now
