K 10 svn:author V 3 jhb K 8 svn:date V 27 2016-04-28T18:53:14.736541Z K 7 svn:log V 258 Only count CPU devices that are using the ACPI CPU driver. Arguably we should only be doing the probe/attach to children of these devices as well. Tested by: Michal Stanek (arm64) Differential Revision: https://reviews.freebsd.org/D6133 END