Tested on RPi & RPi2 to make sure behavior was not changed.
Tested on RPi3 to get correct voltage report from verbose boot.
@@ -236,8 +236,8 @@
bcm2835_cpufreq0: Boot settings:
bcm2835_cpufreq0: current ARM 600MHz, Core 250MHz, SDRAM 400MHz, Turbo OFF
bcm2835_cpufreq0: max/min ARM 1200/600MHz, Core 400/250MHz, SDRAM 450/400MHz
-bcm2835_cpufreq0: current Core 30001200mV, SDRAM_C 30001200mV, SDRAM_I 30001200mV, SDRAM_P 30001200mV
-bcm2835_cpufreq0: max/min Core 32344950/30001200mV, SDRAM_C 30001200/30001200mV, SDRAM_I 30001200/30001200mV, SDRAM_P 30001200/30001200mV
+bcm2835_cpufreq0: current Core 1200mV, SDRAM_C 1200mV, SDRAM_I 1200mV, SDRAM_P 1200mV
+bcm2835_cpufreq0: max/min Core 1293/1200mV, SDRAM_C 1200/1200mV, SDRAM_I 1200/1200mV, SDRAM_P 1200/1200mV
bcm2835_cpufreq0: Temperature 51.5C
Release APs
mmc0: setting bus width to 4 bits