sgemm(3) on Linux

The text 69638abb47d8, as Debian 11 (Bullseye) shipped it.

real

sgemm(3) on Linux now