Fixing lpc11u35 HDK firmware to use external 12Mhz XTAL.