lm3s1968: return the correct CPU frequency in clock_get_rate().