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.

Xtensa: Remove co-processor ownership array.  I think that this is not needed (but I might be wrong).

STM32F7:otgdev fixed typo