Semaphores: Provide macros for sem_setprotobol() and sem_getprotocol() if priority inheritance is not enabled.  More SEM_PRIO_* definitions to include/nuttx/semaphore.h

Move protoypes for the non-standard include/semaphore.h file to the non-standard include/nuttx/semaphore.h with the other non-standard semaphore interfaces.

spi: Fix Kconfig warning

STM32 ADC: Fix compilation error when DMA isn't enabled

This commit moves the ARCH_HAVE_SPI options outside the check
for SPI. Those options don't depend on SPI, and Kconfig files
in arch/ enable them even if SPI isn't enabled.

Sourcing the driver's Kconfig in drivers/Kconfig only if
support for the driver is enabled prevents us from defining
these ARCH_HAVE options in the driver's Kconfig. We should
probably remove the other checks in drivers/Kconfig and check
if the drivers are enabled only in their Kconfig.

Add pthread_mutexattr_get/set_protocol and non-standard sem_get/set_protocol.  These may use to enable or disable priority inheritance on a single semaphore.

Merged in david_s5/nuttx-9/david_s5/i-think-that-size-is-highest-address1-b-1478039243625 (pull request #163)

I think, that Size is (highest address+1 - Base address)

Base address has been removed and if address+count >= size we are outside of the Flash

Review of last PR: Fix return value (ERROR is not a value return value in this context).  Fix some spacing.

To write the last page

Xtensa: Adapt co-processor state save/restore functions so that they are call-able from C with Windows ABI.