The text 93e9fb5d2e0e, as Debian 10 (Buster) shipped it.
macros for manipulating CPU sets
CPU_CLR_S(3) on Linux now
