LPC17 GPIO:  Reorder steps when an output GPIO is configured in order to avoid transient bad values from being output.  From Hal Glenn.

Added missing EXTI definitions for the STM32 F3; Correct an error the port D base address in the STM32 F3 and F37 memory maps.  From Greg Meiste.

STM32F4-Discovery: Part of logic to initialize the ELF loaded in the board startup logic.  From Leo aloe3132

binfmt: Fix a debug statement that does not have the correct number of arguments.  From Leo aloe3132

STM32 PVD: Adds support for STM32's Programmable Voltage Detector feature. I put register access behind CONFIG_STM32_ENERGYLITE as have not checked F1/F2/F4 etc. manuals. Tested on STM32L1. PVD interrupt looks generic, at least #defines it needs are in headers for every chip variant.  By Dmitry Nikolaev, submitted by Juha Niskanen.

Networking: If IPV6 is not enabled, an warning occurs for an unused variable, which is currently used inside the IPV6 block, but declared outside.  From ObitalFox.

sem_wait(): Missing comma on debug statement caused compile error with DEBUG on.  Why hasn't that been noted before?

STM32 RTC counter: Include enable/disable backup domain within critical section.  Per recommendtion of Alexander Oryshchenko.

STM32 F1 RTC Counter:  Now need to enable backup domain write access when setting the time.  From Darcy Gong

Fix an error introduced into stm32_pwr_enablebkp().  That function must preserve the previous state of backup domain access on return.