Per device frequency setting by serial number
Modified get_freq to support arbitrary frequencies per device
Support arbitrary frequency multiples of 12.5 MHz
Write gridseed-freq to config file
Print a notice if frequency is different than specified
Enable setting gridseed frequency through API