The text 74cb44e11200, as Debian 10 (Buster) shipped it.
ULE scheduler
sched_ule(4freebsd) on Linux now
