How do we get turbo mo to get past 3.5Ghz on this board. I have it enabled and the following at x38/x37/x36/x35 and when I run a single 1M/32M Pi it still goes upto 3.5Ghz only.