chesv_rk(3) on Linux

The text 1468f5463988, as Debian 10 (Buster) shipped it.

chesv_rk(3) on Linux now