RPi3 not using SMP?

[bob prohaska]

For some weeks now an RPi3 running -current has seemed rather slow....

On looking at the early part of the boot message the processor
attributes seem rather scant:
 
......
elease APs...APs not started
CPU  0: ARM Cortex-A53 r0p4 affinity:  0
 Instruction Set Attributes 0 = <CRC32>
 Instruction Set Attributes 1 = <>
         Processor Features 0 = <AdvSIMD,FP,EL3 32,EL2 32,EL1 32,EL0 32>
         Processor Features 1 = <>
      Memory Model Features 0 = <TGran4,TGran64,SNSMem,BigEnd,16bit ASID,1TB PA>
      Memory Model Features 1 = <8bit VMID>
      Memory Model Features 2 = <32bit CCIDX,48bit VA>
             Debug Features 0 = <2 CTX BKPTs,4 Watchpoints,6 Breakpoints,PMUv3,Debugv8>
             Debug Features 1 = <>
         Auxiliary Features 0 = <>
         Auxiliary Features 1 = <>
CPU  1: (null) (null) r0p0 affinity:  0
CPU  2: (null) (null) r0p0 affinity:  0
CPU  3: (null) (null) r0p0 affinity:  0
............
In a top window, STATE is reported as RUN, rather than the
former CPUn.

Is a software switch now required to enable multiprocessing?

Or, could it be related to  the lines:
psci0: PSCI version number mismatched with DT 
as pointed out by Mark M in reference to the cpu_reset failed
problem, which is still manifest? 

The kernel is at r357644.

Thanks for reading,

bob prohaska