The text 25ebac3e9ae2, as Debian 10 (Buster) shipped it.
Microsemi Smart Family SCSI driver
smartpqi(4) on Linux now
