Re: [PATCH] arm64: smp: Fix cpu_freq print for NMI watchdog