The text 47a6ddf43de6, as Debian 9 (Stretch) shipped it.
ULE scheduler
sched_ule(4freebsd) on Linux now
