The specifications of this board detail that it comes with a 32 kHz crystal, but the specifications of the MSP430 micro controller family says that they run at 16 MIPS. Anyone got any details on this? Can the board simply be fitted with a faster crystal? Please, no "it actually executes 500 instructions per clock cycle" jokes.