The text 3084fcb191d6, as FreeBSD 12.2-RELEASE shipped it.
request a set of device-specific CPUs
bus_get_cpus(9) on FreeBSD now
