can SMP work on rpi3?

[tech-lists]

Hello list,

(I'm running -current as of r311005)

I compiled a GENERIC kernel instead of GENERIC-UP (which is the default
if raspberrypi3 is selected in crochet). It runs OK but the console gets
this all the time:

cpufreq0: rejecting change, SMP not started yet

over and over again.

So, my question is, can I make SMP work on rpi3? Alternatively, can I
quiet the console?

I guess I can always recompile another kernel if SMP for rpi3 isn't here
yet.

Many thanks,
-- 
J.