I'm sorry I've made a mistake. The newly manufactured Carambolas should have v2.5 firmware. Both v2.4 and v2.5 use 3.7.9 linux kernel, so everything is fine in your case. You just received a board from an older batch, but don't worry - the older ones are just as good as the new ones, the only difference is the firmware, which can be updated