The text be99a89d5462, as Debian 9 (Stretch) shipped it.
request a set of device-specific CPUs
BUS_GET_CPUS(9freebsd) on Linux now
