The text 20eabf1f4a7a, as Debian 9 (Stretch) shipped it.
switch to another thread context
cpu_switch(9freebsd) on Linux now
