Merge branch 'kegilbert-patch-5' of ssh://github.com/ARMmbed/mbed-os into rollup

Author: Cruz Monrreal II

platform/mbed_rtc_time.h

@@ -31,7 +31,7 @@ extern "C" {
  *
  * Provides mechanisms to set and read the current time, based
  * on the microcontroller Real-Time Clock (RTC), plus some
- * standard C manipulation and formating functions.
+ * standard C manipulation and formatting functions.
  *
  * Example:
  * @code
@@ -84,7 +84,7 @@ void set_time(time_t t);
  *
  * @param read_rtc pointer to function which returns current UNIX timestamp
  * @param write_rtc pointer to function which sets current UNIX timestamp, can be NULL
- * @param init_rtc pointer to funtion which initializes RTC, can be NULL
+ * @param init_rtc pointer to function which initializes RTC, can be NULL
  * @param isenabled_rtc pointer to function which returns if the RTC is enabled, can be NULL
  */
 void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void));