The text dc52f2cc0308, as Debian 4.0 (Etch) shipped it.
DSP56001 interface device
dsp56k(4) on Linux now