je ne sais pas, il faudrait demander à leur auteur.
Ils n'utilisent peut être pas non plus SCLK mais les JPIT.
Même s'il parait que ce n'est pas conseillé (je ne sais plus pourquoi) en tout cas ils le sont dans la documentation officielle et en plus ils offres une plus grande précision il me semble

Vu la qualité de restitution sonore de Super Burnout je serais quand même assez étonné que ce soit du 14Khz

Et sinon il me semble que le calcul de SCLK est plus simple que ça : SerialClock = MasterClock/(2*(SCLK+1))