**Problem:** It seems that the si57x driver outputs a frequency 40KHz off the desired frequency, as reported by @danielot
Problem: It seems that the si57x driver outputs a frequency 40KHz off the desired frequency, as reported by @danielot