acpuclock-8627: time to workaround, revert to stock freq