The text 1f5888822ad2, as FreeBSD 12.1-RELEASE shipped it.
request a set of device-specific CPUs
BUS_GET_CPUS(9) on FreeBSD now
