The text 7a57b748544b, as Debian 7 (Wheezy) shipped it.
macros for manipulating CPU sets
CPU_OR(3) on Linux now
