pthread_mutex_destroy(): Fix an error in destorynig a mutex which can occur after a pthread has been canceled while holding the mutex.

cancellation points are basically function.  More tested is needed and additional cancellation points must be implemented before this can be merged back to master.

Merged in david_s5/nuttx-3/david_s5/typo-in-stm32f76xx77xx_pinmaph-edited-on-1481298811328 (pull request #182)

Typo in stm32f76xx77xx_pinmap.h edited online with Bitbucket

Added STM32F469 RAM size and deliberated STM32F446 size

Merged in david_s5/nuttx-2/david_s5/i-was-wrong-the-original-commit-was-cor-1481231650458 (pull request #179)

I was wrong - the original commit was correct. Assume a write op on the last word: address of 0xxxxxfe and count of 2. It is a valid operation and address+count is == STM32_FLASH_SIZE - so that is OK

I was wrong - the original commit was correct. Assume a write op on the last word: address of 0xxxxxfe and count of 2. It is a valid operation and address+count is == STM32_FLASH_SIZE - so that is OK

Merged in david_s5/nuttx-1/david_s5/bugfixstm32f427-was-rebooting-over-reach-1481229095159 (pull request #178)

BUGFIX:STM32F427 was rebooting. Over reached family.

pthread cleanup stack:  Replace critical section with sched_lock/unlock().  The cleanup stack modification only needs to have the TCB stationary.  The stack is never modified from interrupt level logic

For Cortex-A9, should also set ACTLR.FW in SMP mode to enble TLB and cache broadcasts.  Does not fix SMP cache problem.

Allow a config to override the SDIO clock edge setting