mbed library sources: Modified to operate FRDM-KL25Z at 48MHz from internal 32kHz oscillator (nothing else changed).

Fork of mbed-src by mbed official

The only file that changed is: mbed-src-FLL48/targets/cmsis/TARGET_Freescale/TARGET_KL25Z/system_MKL25Z4.h

Revision:
25:002053b42e66
Parent:
13:0645d8841f51
--- a/api/mbed_debug.h	Tue Sep 17 13:30:07 2013 +0100
+++ b/api/mbed_debug.h	Wed Sep 18 11:15:05 2013 +0100
@@ -21,7 +21,7 @@
 extern "C" {
 #endif
 
-#ifdef DEVICE_STDIO_MESSAGES
+#if DEVICE_STDIO_MESSAGES
 #include <stdio.h>
 #include <stdarg.h>