i2c clock from global clock value, syntax corrections
pwm channel 7 correction, enhanced mode
PWM - legacy mode, LOAD use for updating
Merge pull request #139 from bcostm/master

[NUCLEO_F103RB] license text changed + sleep hal updated
[LPC4088] Switch to 'hard' FP ABI on GCC

This is consistent with the armcc compilation options.
Merge branch 'master' of github.com:mbedmicro/mbed
Added Sleep, LED3 and LED4 definitions, switches

Sleep = KL25Z sleep (verified to work correctly)
LED3 = LED1, LED4 = LED2 (for compatibility, similar to LED3 = LED4 in
KL25Z code)
SW1 and SW3 for the two switches (SW2 is reset switch)
spi - disable rx/tx fifo, write/readable flags change
PWM - mux addition
PWM - pwmload removed from the objects header file
PWM channels definition update, serial uses external global variable system clock
Fixed KL25Z SPI clock

https://mbed.org/questions/2309/spifrequency-for-KL25Z/
changes
[LPC4088]: Corrected RAM size in linker script (ARM_GCC)
SPI clock fix for KL05Z and KL46Z
[LPC4088] Making it possible to reserve stack space by weak function.
[LPC4088] Making it possible to reserve stack space by weak function.
[LPC4088] Corrected an invalid header file dependecy.
Merge pull request #141 from arebert/lpc4088

[LPC4088] RAM size fix for ARM_GCC. Added possibility to reserve stack space
Removed hardcoded frequencies, replaced by automatically calculated

ADC frequency 1.5MHz -> 6MHz (if possible, otherwise it tries as close
to, but less than 6MHz)
pwm tries to get its clock as close as possible to 1MHz, but not lower
than 1MHz