ssbevx_2stage(3) on Linux

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

real

ssbevx_2stage(3) on Linux now