[opensuse-kernel] Re: kernel & BIOS report (incorrectly?) different current/available speeds for overclocked CPU