The text fa9d970d193c, as Debian 8 (Jessie) shipped it.
macros for manipulating CPU sets
CPU_OR_S(3) on Linux now
