hbgv_driver(3) on Linux

The text 71f2c8baa7e8, as Debian 13 (Trixie) shipped it.

--- banded ---

hbgv_driver(3) on Linux now