Bug ID 6694939: In certain cases, the prtdiag(1M) command does not list all the CPUs.
Workaround: For an accurate count of CPUs, use the psrinfo(1M) command.