Dears I did a build of 12 r312852 to my Raspberry PI 3 with SMP enabled. But, when the board is booting I get this message intermittent cpufreq0: rejecting change, SMP not started yet SMP is supposed to work? []'s -Otacilio